>969
よって日高は「AB=CDならばA=CかつB=D」だと信じている。

「AB=aCD(1/a)ならばA=aCかつB=D(1/a)」です。