#rank-nullity theorem