theorem Th61: :: NUMBER07:61

for p being Prime holds not p is_a_product_of_two_different_primes ;