for a being Nat holds a mod 1 = 0