משתמש:איתמר שטיין
הוכחת למת ההחלפה של שטייניץ.
ניסוח: יהי [math]\displaystyle{ V }[/math] מרחב וקטורי. ותהינה [math]\displaystyle{ B }[/math] קבוצה בת"ל ו [math]\displaystyle{ C }[/math] קבוצה פורשת אזי לכל [math]\displaystyle{ b \in B }[/math] קיים [math]\displaystyle{ c\in C }[/math] כך ש [math]\displaystyle{ (B \backslash \{b\})\cup \{c\} }[/math] היא גם קבוצה בת"ל.