>>1は定義と定理を混同しているような気がしてならん。
「複素数の乗算は可換である」なんて複素数を定義して
複素数の乗算を定義して初めて可換であることが証明できる。
証明問題で仮定と結論を履き違える生徒が多いらしいがそれと同じようにしか見えん