证明:整数a,b对模m同余的充分与必要条件是m│(a-b).