theorem :: NUMBER07:75

( 35 = 5 * 7 & 35 has_exactly_two_different_prime_divisors )