The Peter-Weyl Theorem