(X1∩X3)はＸ1の部分空間であるから、その元をｘとし
(X2∩X3)はＸ２の部分空間であるから、その元をｙとする

｛x+y｝ ＝ (X1∩X3)＋(X1∩X3) ⊂ Ｘ１＋Ｘ２
であるのでX3を｛x+y｝とすると
与式が成り立つ

でいいんですかね？