השינוי האחרון נעשה בֹ־26 באוגוסט 2012 ב־14:55

משתמש:איתמר שטיין


הוכחת למת ההחלפה של שטייניץ.

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