Kommutative Hopf-Algebra/L-Punkte/Ist Gruppe/Fakt/Beweis

Beweis

(1) folgt unmittelbar aus der Kommutativität der entsprechenden Diagramme für die Hopf-Algebra. (2) folgt aus (1) und aus

wobei die mittlere Gleichung auf Fakt beruht.