Observation.
We use rank nullity to show that for a short exact sequence of vector spaces,
the alternating sum of the dimensions of the spaces is 0, i.e. . The exactness of the sequence implies that is injective and is surjective. The former implies that . The latter implies that . Again, the exactness of the sequence implies that . Thus, , as desired.
It can be shown in general that the alternating sum of the dimensions of spaces in an exact sequence is 0. I’ve been told this is useful when dealing with infinite-dimensions.