A self-contained proof of the Artin-Wedderburn theorem in the case of finite-dimensional Von Neumann algebras

We provide a self-contained proof of the Artin-Wedderburn theorem in the case of finite-dimensional Von Neumann algebras (or equivalently unital C* algebras) that is fully constructive and uses only basic notions of linear algebra.