Theorem ICBM Inverse of Change-of-Basis Matrix

Suppose that $V$ is a vector space, and $B$ and $C$ are bases of $V$. Then the change-of-basis matrix $\cbm{B}{C}$ is nonsingular and \begin{equation*} \inverse{\cbm{B}{C}}=\cbm{C}{B} \end{equation*}

Proof
(in context)