Finite-Dimensional Simple $C^*$-Algebras Are Full Matrix Algebras