Theorem (The Rank-Nullity Theorem)

Let $V$ be a finite dimensional Vector Space and $T\in\mathscr{L}(V,W)$ a Linear Map. Then $Im(T)\subset W$ is finite dimensional and $$dim(V)=dim(Ker(T))+dim(Im(T))$$