הפתרון לא מובן.
== קבוצה לא פורשת ==
האם קיימת קבוצה B כלשהי שאינה פורשת (כזכור <math>Span(\phi)=0</math> ולכן גם הקבוצה הריקה פורשת את מרחב האפס)?
*אם לא, מה התכונות של קבוצה שכזו?
*אם כן, מדוע בלמת ההחלפה של שטייניץ מוגדרות A בת"ל ו-B פורשת אם בהכרח כל B פורשת?