>>379
それは、2点で成り立つとして元となる式に代入しているからです。
操作[掛け算]というものを考えた場合にも同様の式になります。
後ろから読んで反論するという幼稚な方法は止めてもらえますか？

>>380
同値ですけど、それが1点で成り立つとすると最後の証明で示したとおり
他の点でも成り立つことになり矛盾が生じます。

>>376
これは書き込みをした後、リロードしてそうなったもので、実際には読んでから
1分か2分でレスをしているものと思われます。