theorem Th64: :: NUMBER07:64

for p being Prime holds not p * p is_a_product_of_two_different_primes