שינויים
/* תרגיל */
נסמן <math>\{a_{1},\dots,a_{l}\}</math> בסיס למרחב העמודות.
בנוסף <math>C(AB)=span \{C_1(AB),\dots , C_p(AB)\}=span\{AC_{1}(B),\dots,AC_{p}(B)\}</math>
כיוון שלכל <math>i</math> מתקיים כי
<math>AC_{i}(B)</math> הוא צ"ל של עמודות <math>A</math>
מקבלים ש
<math>C(AB)=span\{AC_{1}(B),\dots,AC_{p}(B)\}\subset subseteq span\{a_{1},\dots,a_{l}\}=C(A)</math>
ולכן <math>dim[C(AB)]\leq dim[C(A)]</math>.
