Let $\mathbb{K}$ be a field and $V,W,X$ $\mathbb{K}$-vector spaces.
Let $\phi:V\rightarrow W$, $\psi:W\rightarrow X$ be linear maps and let $\phi$ be injective and let $\psi$ be surjective.
I want to show that the following statements are equivalent:
(i) $\psi\circ \phi$ is an isomorphism of vector spaces.
(ii) It holds that $W=\text{Image}(\phi)+\ker (\psi)$ and $\text{Image}(\phi)\cap \ker (\psi)=\{0\}$.
$$$$
For the direction $(i)\rightarrow (ii)$ do we use the rank nullity theorem?
It's easy to show that if (i) holds, then $\mathrm{im}\,\phi \cap \ker\psi = 0$. Obviously $\mathrm{im}\,\phi + \ker\psi$ is a subspace of $W$, so we only need to show that the dimensions are the same: $$\mathrm{rk}\,\phi + \mathrm{null}\, \psi = \dim W.$$ You mentioned the rank-nullity theorem, which is a perfect tool for this. (Why $\mathrm{rk}\, \phi = \mathrm{rk\, \psi}$ holds in this case?)