This is an old revision of the document!
A related Boolean function is
divides :: Integer -> Integer -> Bool divides d n = rem n d == 0
Function
Natural number