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