>>772と>>774の続きです
(5)c*(x+y)=c*x+c*y(c∈Ｒより成り立つ)
(6)(c+c')*x=c*x+c'*x(同上)
(7)(c*c')*x=c*(c'x)(c,c'∈Ｒより成り立つ)
(8)1*x=x(明らか)

以上です