נסיון לפתרון
אם n זוגי אז אם נקח את הוקטור הראשון, נחבר את השני, נחסר את השלישי וככה עד הסוף נקבל 0 (קל לראות, מתקבל כמו מן טור טלסקופי כזה, רק שהאיבר האחרון הוא v1- (קל לראות) והאיבר הראשון v1. ולכן עבור n זוכי הקבוצה ת"ל ולא בסיס. אפ n אי זוגי, נסדר אותם כוקטורי שורה במטריצה, ונחשב דטרמיננטה. נחבר לשורה הראשונה את שאר השורות בסימנים מתחלפים. R_1 - > R_1 + (-1)^(n-1)*R_n קל לראות שנקבל 2v1 בשורה הראשונה. כעת נבצע על השורה השניה את אותו הדבר R_2 - > R_2 + (-1)^

*R_n נקבל v_2 - v_1 ובעזרת חיבור חצי השורה הראשונה נקבל v2. באופן דומה (אוותר על פרטי ההוכחה באינדוקציה, אני חושב שזה די ברור מה לעשות פה), עושים על כל השורות כדי לקבל את איברי הבסיס B כשורות, לכן הדטרמיננטה שונה מ0. הדטרמיננטות שוות (צירוף ליניארי של שורות אינו משנה את הדטרמיננטה) ולכן הדטרמיננטה המקורית שונה מ0, ולכן הוקטורים המקוריים בת"ל, יש n וקטורים בת"ל במרחב ממימד n ולפי משפט ידוע הם בסיס.