>>669
> \vec{y1},\vec{y2}⊂Wとして
は
> \vec{y1},\vec{y2}∈Wとして
の誤りか？でもって\vec{y1},\vec{y2}∈Wが存在しないのはどういう場合を考えてる？