for n being non zero Nat holds
( Radical n = 1 iff n = 1 )