Seja V um espaço vetorial de dimensão finita sobre o qual existe uma transformação linear T: V→V tal que Im(T) = Ker(T), onde Im(T) e Ker(T)
representam os subespaços vetoriais de V, definidos por e Ker(T)= !$ \{ \vec {v} \quad \in \quad V/T \quad (\vec {v}) = \vec {0} \} !$.

Se a dimensão de V é igual a n, então a dimensão do subespaço Ker(T) é