Rank-Nullity Theorem

Rank-Nullity through the lens of injectivity.