א. הוכיחו כי <math><v,u>=<\pi_U(v),u></math> לכל <math>u\in Y, v\in V</math>
ב. נגדיר אופרטור <math>P_U:U\rightarrow U</math> ע"י <math>P_U(u)=\pi_U(\pi_W(u))</math>.
הוכיחו כי לכל שני וקטורים <math>u_1,u_2\in U</math> מתקיים <math><P_U(u_1),u_2>=<u_1,P_U(u_2)></math>