</math>
סתירה לנתון.
==== תרגיל ====
תהא <math>A\in \mathbb{F}^{m\times n} , B\in \mathbb{F}^{n\times p}</math>.
הוכח שאם עמודות <math>AB</math> בת"ל אז גם עמודות <math>B</math> בת"ל
הוכחה:
מהנתון <math>rank (AB)= p</math> ואז
<math>p = rank (AB)\leq rank B \leq p</math> ומכאן ש <math> rankB=p</math> כלומר עמודות B בת"ל