求问 $(a,b) = (a \bmod m,b)$ 是否成立，如果成立，请给出证明。急！