<videoflash>_vIuR0AuJ68</videoflash>
*יהי <math>V</math> מ"ו ותהי <math>B\subseteq V</math> קבוצה פורשת (כלומר <math>sp(B)=V</math>) כך ש <math>|B|=n</math> (כלומר יש בה n וקטורים).
*תהי בנוסף <math>A\subseteq V</math> קבוצה בת"ל, אזי <math>|A|\leq |B|</math> (כלומר כמות הוקטורים בקבוצה בת"ל קטנה או שווה לכמות הוקטורים בקבוצה פורשת).
<videoflash>nHeL8a3KNhs</videoflash>