for n being non zero Nat holds Radical n divides n