'''העובדה שV הוא סכום ישר של הת"מ אומרת שאם <math>\{b_1,...,b_k\}</math> בסיס לת"מ הראשון ו-<math>\{b_k+1,...,b_n\}</math> בסיס לת"מ השני אז <math>B=\{b_1,...b_k,...,b_n\}</math> בסיס ל-V. לכן
'''<math>[T]_B=\([T(b_1)]_B\cdots [T(b_k)]_B\ [T(b_{k+1})]_B\cdots [T(b_n)]_B\)=</math>
'''<math>\([b_1]_B\cdots [b_k]_B\ [0]_B\cdots [0]_B\)</math>