Equivalence of Definitions of Matrix Similarity

Theorem
Let $R$ be a ring with unity.

Let $n \in \N_{>0}$ be a natural number.

Let $\mathbf A, \mathbf B$ be square matrices of order $n$ over $R$.

Proof
This is specifically demonstrated in the corollary to Change of Basis Matrix under Linear Transformation.