>>563
それはおかしいと思う。
x=1を元の式に入れても解として満たさない。