theorem Th19: :: NUMBER09:19

for n being Nat st n is a_product_of_two_primes holds
n >= 4