Prove this theorem using a direct proof: For any two integers a and b, a ? b mod m if, and only if m|a ? b.