====הוכחה====
הוקטורים ת"ל אם"ם קיימים סקלרים כך ש <math>a_1v_1+...+a_nv_n=0</math>, ואחד לפחות ולפחות אחד מבין הסקלרים שווה אפסשונה מאפס. נניח '''ב.ה.כ.''' (בלי הגבלת הכלליות) ש <math>a_1\neq 0</math>. לכן <math>v_1=-\frac{a_2v_2+...+a_nv_n}{a_1}</math> ולכן <math>v_1=\frac{-a_2}{a_1}v_2+...+\frac{-a_n}{a_1}v_n</math>. הכיוון ההפוך עובד גם הוא (נעביר אגף ונקבל צירוף לינארי לא טריוויאלי שמתאפס שכן המקדם של <math>v_1</math> הינו אחד ולכן שונה מאפס).
שימו לב שיצא לנו שהוקטור הראשון תמיד צ"ל של האחרים, כמובן שזה לא נכון. זה נובע רק מטיעון ב.ה.כ שלנו, קל למצוא דוגמאות בהן הוקטור הראשון אינו צ"ל של האחרים.
ממשפט זה קל לנו לראות שהצלחנו בהגדרה שלנו לתלות. שכן אם <math>v_1</math> הינו צירוף לינארי של האחרים ניתן להסיר אותו במובן הבא: <math>span\{v_1,...,v_n\}=span\{v_2,...,v_n\}</math>.
===תרגיל - הקשר בין צירוף לינארי לבין פתרון מערכת משוואות לינאריות===