*נתון <math>C(A)</math> ניצב ל-<math>R(A)</math> ולפי זה לכל מ"פ ולכל <math>v\in R(A), u\in C(A)</math> מתקיים <math><u,v>=0</math> אבל עבור מ"פ פנימית סטנדרטית נקבל <math><u,v>=u^t\overline{v}=0</math>, אבל כפל כזה לא מוגדר אז אני לא מבין איך זה הגיוני..
למה לא מוגדר? פשוט מכפילים כל רכיב בu כפול הצמוד של הרכיב המתאים בv.