Solution (source code)

= Solution

The <rank-nullity theorem> states that for a <linear map> with finite-dimensional domain,
$$
\dim(\text{domain})
=\operatorname{rank}+\operatorname{nullity}.
$$
Here the domain is $\mathbb R^3$, and the preceding parts give
$$
3=2+1,
$$
which verifies the theorem.