theorem Th65: :: NUMBER07:65

for n being Nat st n is_a_product_of_two_different_primes holds
n >= 6