theorem Th60: :: NUMBER14:60

for n being Nat st n <> 1 holds
for m being Multiple of n st m is prime holds
m = n