///
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 Im(T) = {v ∈ V / ∃ u ∈ V, T(u) = v} e Ker(T) = {v ∈ V / T(v) = 0}.
Se a dimensão de V é igual a n, então a dimensão do subespaço Ker(T) é