>>463
ベクトルじゃなくて実数体上のベクトル空間になることを証明せよか、正確にいうと。
ベクトル空間の定義に合致することを証明するだけ。
言い方を替えるとR加群になってことを示す。
I^2の中での加法の結合律、0元の存在、逆元の存在、
I^2の元に対するRの元：スカラー倍の線形性と結合律