theorem Th50: :: NUMBER14:50

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