הוכחת למת ההחלפה של שטייניץ.
ניסוח: יהי מרחב וקטורי. ותהינה קבוצה בת"ל ו קבוצה פורשת אזי לכל קיים כך ש היא גם קבוצה בת"ל.