let U, V finito-dimensionais, S in L(V,W) and T in L(U,V). Uma cota para \dim(Im ST):