יהא V מ"ו ויהי B בסיס לו. יהיו <math>u_1,...,u_k\in V</math> וקטורים כלשהם. הוכח:
*<math>u_1,...,u_k</math> בת"ל אם"ם <math>[u_1]_B,...,[u_k]_B</math> בת"ל
*<math>w\in span\{u_1,...,u_k\}</math> אם"ם <math>[w]_B\in span\{[u_1]_B,...,[u_k]_B\}</math>
נוכיח תרגיל זה בהמשך, לאחר שנלמד על העתקות לינאריות. כעת נניח שהוא נכון ונתרכז בכלי החישובי המשמעותי שקיבלנו; כל בדיקה/חישוב של תלות לינארית או פרישה בכל מרחב וקטורי (מטריצות, פולינומים, פונקציות) יכול בעצם להעשות במרחב הוקטורי המוכר והנוח <math>\mathbb{F}^n</math>.
#אם אין פתרון, b לא נפרש על ידי האחרים
#אם קיים פתרון x אזי הוא מכיל את הסקלרים של הצירוף הלינארי בהתאם לסדר העמודות בA
==מרחבי המטריצות==