Peter--Weyl Theorem