>>32
いいんじゃないかな？
欲を言えば、次の所は途中経過をもう一行挟んだ方が親切だと思う。
(5)の
＝c*(x(v))+c*(y(v))
＝(cx+cy)(v)(定義より)

(6)の
＝c*x(v)+c'*x(v)
＝(c*x+c'*x)(v)(定義より)