>>702
一般性は失われないけど解けないよ。