>>559
a ≠ b のとき
ac = bc ⇔ (a-b) c =0 ⇔ c = 0

したがって
a ≠ b の両辺に c=0 をかけたものは
ac = bc
という等式を満たす。