theorem Th55: :: MOEBIUS1:55

for n being non zero Nat holds Radical n divides n