>>612
a=b⇒ac=bc
これは真（じゃなきゃ両辺を2倍とかできない）。
ac=bc⇒a=b
これは偽（a=1、b=2、c=0のとき不成立、但しc≠0ならOK）。