>>682
> =(x+x'+x",y+y'+y")
の行が
　=((x+x')+x",(y+y')+y")=(x+(x'+x"),y+(y'+y"))
だったらよかった。
各成分は V, W での結合法則がそれぞれ使えるから、というのが此処での骨子。