שינויים

אבל W הינו T-אינווריאנטי ולכן <math>T(W)\subseteq W</math>. ולכן <math>T(w)=u_1 \in W</math>. ולכן <math>w-u_1 = u_2 \in W</math> מתוך סגירות, וקיבלנו <math>u_1 \in W\cap U</math>, <math>u_2 \in W \cap U^{\bot}</math> כפי שרצינו.