x = yでもa' x と a' yは等しくなくてもいいんじゃない？