::אהה.. באמת? חידשת לי. תמיד כשרוצים להשלים קבוצה בת"ל לקבוצה פורשת אז שמים את הוקטורים מהקבוצה הבת"ל בשורות מטריצה, מדרגים, ורואים אילו משתנים חופשיים יש. לאחר מכן מוסיפים קבוצה ובה וקטורים <math>e_i</math>, עבור כל עמודה i שבה יש משתנים חופשיים? יש איזה משפט קשור או משהו שמסביר למה עושים דווקא ככה? תודה.
:::זה פשוט מאד, כמו שאמרתי - משלימים את האיברים הפותחים. לאחר התוספת יש n איברים פותחים (אם יש n עמודות) ואז מרחב השורות הוא ממימד n ובהכרח מרחב השורות הוא כל F^n.
==עזרה==