Basic number theory definition of divides