5 be an n x m matrix and let C A be the set of columns of A Define all anl a12 00 0 an2 alm anm CR rank A dim Span C Now let V W be finite dimensional vector spaces and TV W a linear map between them Sh for any basis a of V and any basis of W we have dim im T rank T