theorem :: NUMBER07:74

( 34 = 2 * 17 & 34 has_exactly_two_different_prime_divisors )