>>1
> ※AB=CDが成り立つならば、A=kCのとき、B=D/kとなる。(A,B,C,Dは式)

間違いです。C=0 のときは成り立つとは限りません。k=0 だと k では割れません。