AB=CDが成り立つ場合と成立たない場合があるならば、
AB=kCD/kも成り立つ場合と成立たない場合がある。