Hermann Weyl, junto con su estudiante Peter, lo probó en la configuración de un grupo compacto de Lie, G.