theorem :: NUMBER07:73

( 33 = 3 * 11 & 33 has_exactly_two_different_prime_divisors )