重解じゃないにしても>>791の変形でxがただ一つの実数解をもつような方程式にならないのに違和感を覚えるのですが…