>>746の前半は>>772と>>774と下の(5)〜(8)でいいんでしょうか？
(5)c*(x+y)=c*x+c*y
∵(c*(x+y))(v)
＝c*((x+y)(v))(定義より)
＝c*(x(v)+y(v))(定義より)
＝c*(x(v))+c*(y(v))
＝(cx+cy)(v)(定義より)
これが任意のv∈Vで成立するのでc*(x+y)=c*x+c*y

(6)(c+c')*x=c*x+c'*x
∵((c+c')*x)(v)
＝(c+c')*(x(v))(定義より)
＝c*x(v)+c'*x(v)
＝(c*x+c'*x)(v)(定義より)
これが任意のv∈Vで成立するので(c+c')*x=c*x+c'*x

(7)(h*k)*x=h*(k*x)
∵((h*k)*x)(v)
＝(h*k)*(x(v))(定義より)
＝h*(k*(x(v)))
＝h*((k*x)(v))(定義より)
＝(h*(k*x))(v)(定義より)
これが任意のv∈Vで成立するので(h*k)*x=h*(k*x)

(8)1*x=x
∵(1*x)(v)
=1*(x(v))(定義より)
=x(v)
これが任意のv∈Vで成立するので1*x=x