Prove that a necessary and sufficient condition for a nonnegative integer n to be divisible by a positive integer d is that n mod d=0.