theorem Th52: :: MOEBIUS1:52

for n being non zero Nat holds Radical n > 0