The rank–nullity theorem