>>297
同値変形である旨を書き添えていなかったのではないかと