שינויים
/* תרגיל */
ומכאן ש <math>\forall i C_i(B)\in N(A)</math> ולכן <math>C(B)\subseteq N(A)</math>
<math>\Leftarrow rank(B)=dim(C(B))\leq dim(N(A))\Leftarrow</math>
ואז
<math>
rank(B)+rank(A)\leq dim(N(A))+rank(A)=n
\Leftarrow
</math>
סתירה לנתון.
