theorem Th57: :: MOEBIUS1:57

for k being non zero Nat st k is square-free holds
Radical k = k