הוקטורים ת"ל אם"ם קיימים סקלרים כך ש <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=\sumsum_{i>1}\alpha_i v_i</math> הוא צ"ל של האחרים. אזי <math>\sumsum_{i>1}\alpha_i v_i-v_1=0</math>. כלומר קיבלנו צ"ל שמתאפס שיש מקדם אחד לפחות ששונה מאפס (המקדם של <math>v_1</math> הוא <math>-1</math>) על פי הגדרה הוקטורים ת"ל