Simple proof that the sum of two multiples of n is a multiple of n.