for n being non zero Nat holds Radical n > 0