למה לא? היא הרי בת"ל ומספר האיברים בה הוא k
*העטנה הטענה נכונה, אבל זה לא הנימוק הנכון. מה שאמרת רק אומר שהיא פורשת מרחב כלשהו מממד k, הרעיון הוא להראות שכל מרחב כזה ניתן לפרוש.
אבל זה דיי טריוויאלי, כי כל תת מרחב נפרש על ידי הבסיס הכולל, לכן אפשר לצמצמם את הבסיס הזה עד שנקבל תת קבוצה שהיא בסיס לתת המרחב.
למי שאומר/ת לא, מומנ/ת להביא דוגמא.