The dimension theorem (the rank-nullity theorem) can be explained in many ways. I consider it as a consequence of the first isomorphism theorem/splitting lemma. When I teach undergrad matrix-theoretic linear algebra, I start with the equation $Ax=b,$ and I tell my students that the dimension theorem basically says that the number of total variables equals the sum of the number of free variables and the number of "non-free" variables. They find this statement very easy. If I teach a "formal/proof-based" undergrad mathematics class, I tell my students that the dimension theorem basically tells us how much "stuff" we need to put inside the nullspaces to extend it to the given vector space. Today I found a very good analogy: In some sense, the dimension theorem is the linear algebraic analog of the Pigeonhole Principle. Note that for any finite set $A,$ the function $f: A \rightarrow A$ is injective iff surjective iff bijective. It's a consequence of the Pigeonhole Principle. The dimension theorem gives a similar kind of conclusion for a finite-dimensional vector space $V,$ and any linear map $T: V \rightarrow V.$ Now, could you help me by providing a couple of more analogies that can be explained to an undergrad junior? Thank you so much. Please stay safe.