Say we have a PID $R$, integers $1 \leq a \leq b$, and maps $R$-homomorphisms $R^a \stackrel f\to R^b \stackrel g\to R^a$ with $g \circ f$ of full rank.