theorem Th49: :: NUMBER14:49

for n being non zero Nat st PrimeDivisors n is empty holds
n = 1