1. Ολοκλήρωμα Coxeter
Θα αποδείξουμε ότι

Απόδειξη. Ξεκινάμε παραθέτοντας

Λήμμα 1: Ισχύει ότι:

Λήμμα 2: Ισχύει ότι:

Απόδειξη. Έχουμε διαδοχικά:

Λήμμα 3: Ισχύει ότι


Απόδειξη. Έχουμε διαδοδικά:

Είμαστε πλέον σε θέση να υπολογίσουμε το αρχικό ολοκλήρωμα. Έχουμε διαδοχικά:

Το χουμε ξανά δει στο
