請問如何證明同餘條目中的"放大縮小模數"性質? k {\displaystyle k} 為正整數, a ≡ b ( mod m ) {\displaystyle a\equiv b{\pmod {m}}} ,若且唯若 k a ≡ k b ( mod k m ) {\displaystyle ka\equiv kb{\pmod {km}}}