rank-nullity theorem with eigen space