構造同値の問題、何時間考えても答えにたどり着かない。