(イ)AB=CDが成り立つならば、A=kCのとき、B=D/kとなる。
(ロ)AB=CDが成り立たないならば、A=kCのとき、B=D/kとならない。
(A,B,C,Dは式、BはAの関数)