Kommutative Hopf-Algebra/Kooperation/L-Punkte/Operation/Fakt/Beweis

Beweis

Dies wird ähnlich wie Fakt bewiesen.