semiprime

The Obviously True Theorem No One Can Prove

Veritasium

A number that is the product of exactly two prime numbers.