*ההוכחה שראינו בהרצאה (של מיטל):
הניסוח: יהיו V,W מ"ו מעל שדה F.נגדיר E בסיס לV, וכן F בסיס לW, ותהי T מV לW הע"ל. אז מתקיים:<math>rank(T) = rank([T]_{F}^{E})</math>
הוכחה: נסמן {v1,...vk} בסיס עבור (ker(T, וכן {(T(u1),...T(ul}, בסיס עבור (im(T, ולכן המימד של התמונה הוא l. מתקיים: {,u1,...ul,v1,...,vk} בסיס עבור V, נסמנו B (הוכחנו זאת כאשר הוכחנו את משפט הדרגה).