AFM.NR.4.1: Apply the divides relation to positive integers and calculate one integer modulo another integer.