A=B、A=CならB=Cである←これが成り立つならさ