The Rank Nullity Theorem