for k being non zero Nat st k is square-free holds
Radical k = k