Proof of Theorem CCT

Let $\alpha=a+bi$. Then \begin{equation*} \conjugate{\conjugate{\alpha}}=\conjugate{a-bi}=a-(-bi)=a+bi=\alpha \end{equation*}