>>583
>なんだ、証明すべき結論を証明の中で使っているじゃないか。
既に証明済みである⑥の優先順位「省略× > ×」と既知の優先順位「× = ÷」を組み合わせて、
「省略× > ÷」と結論付けているのだが、なにか問題あるか？


それに、③の「x/y=(x÷y)」を「xy^(-1)=(x÷y)」と書いても「省略× > ÷」と言えるぞ？
ただ、>>544 ではそういう言い方はしていないだけ。

>で、証明失敗なんだけど、俺の解釈違っているかｗ？
うん。証明の最終行の論理を無視しているぞｗ