>「x:y:z=X:Y:Z のとき、x^p+y^p=z^p ならば X^p+Y^p=Z^p」は正しいが
「x^p+y^p=z^p ならば X^p+Y^p=Z^p のとき x:y:z=X:Y:Z」は正しくない

日高はこのことを理解していない

同様に

「A=C かつ B=D のとき AC=BD」は正しいが
「AC=BD のとき A=C かつ B=D」は正しくない

すみません。詳しく説明していただけないでしょうか。