שינויים

 כיוון ראשון (<math>\subseteq</math>)  יהא <math>w\in L</math> צ"ל <math>w\in v_1 +H</math>. נגדיר <math>v=w-v_1</math> ואז <math>w=v_1 + v</math> נותר להוכיח כי <math>v\in H</math> (כלומר כי מתקיים <math>Av=0</math>).