Update rank-nullity.tex