Linear mapping/Finite dimensional/Change of basis/Fact/Proof

Proof

The linear standard mappings ${}K^{n}\rightarrow V$ and ${}K^{m}\rightarrow W$ for the various bases are denoted by ${}\Psi _{\mathfrak {v}},\,\Psi _{\mathfrak {u}},\,\Psi _{\mathfrak {w}},\,\Psi _{\mathfrak {z}}$. We consider the commutative diagram

${\begin{matrix}K^{n}&&&{\stackrel {M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )}{\longrightarrow }}&&&K^{m}\\&\searrow \Psi _{\mathfrak {v}}\!\!\!\!\!&&&&\Psi _{\mathfrak {w}}\swarrow \!\!\!\!\!&\\\!\!\!\!\!M_{\mathfrak {u}}^{\mathfrak {v}}\downarrow &&V&{\stackrel {\varphi }{\longrightarrow }}&W&&\,\,\,\,\downarrow M_{\mathfrak {z}}^{\mathfrak {w}}\\&\nearrow \Psi _{\mathfrak {u}}\!\!\!\!\!&&&&\Psi _{\mathfrak {z}}\nwarrow \!\!\!\!\!&\\K^{n}&&&{\stackrel {M_{\mathfrak {z}}^{\mathfrak {u}}(\varphi )}{\longrightarrow }}&&&K^{m},\!\!\!\!\!\end{matrix}}$

where the commutativity rests on fact and fact. In this situation, we have altogether

${}{\begin{aligned}M_{\mathfrak {z}}^{\mathfrak {u}}(\varphi )&=\Psi _{\mathfrak {z}}^{-1}\circ \varphi \circ \Psi _{\mathfrak {u}}\\&=\Psi _{\mathfrak {z}}^{-1}\circ (\Psi _{\mathfrak {w}}\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ \Psi _{\mathfrak {v}}^{-1})\circ \Psi _{\mathfrak {u}}\\&=(\Psi _{\mathfrak {z}}^{-1}\circ \Psi _{\mathfrak {w}})\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ (\Psi _{\mathfrak {v}}^{-1}\circ \Psi _{\mathfrak {u}})\\&=(\Psi _{\mathfrak {z}}^{-1}\circ \Psi _{\mathfrak {w}})\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ (\Psi _{\mathfrak {u}}^{-1}\circ \Psi _{\mathfrak {v}})^{-1}\\&=M_{\mathfrak {z}}^{\mathfrak {w}}\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ (M_{\mathfrak {u}}^{\mathfrak {v}})^{-1}.\end{aligned}}$

To fact