Theorem CRMSM Conjugation Respects Matrix Scalar Multiplication

Suppose that $\alpha\in\complex{\null}$ and $A$ is an $m\times n$ matrix. Then $\conjugate{\alpha A}=\conjugate{\alpha}\conjugate{A}$.

Proof
(in context)