Divisor Divides Multiple/Proof 2