>>582
はあ？

「省略× > ÷」　これって「省略された乗法は、除法より優先される」ってことだろ。日本語で書けば。
なんだ、証明すべき結論を証明の中で使っているじゃないか。

で、証明失敗なんだけど、俺の解釈違っているかｗ？