Wir betrachten die zur Operation gehörige algebraische Situation, also den
-Algebrahomomorphismus
-
wobei die
Hopf-Algebra
zu sei. Es sei
-
mit und . Für jedes ist
-
d.h. diese liegen alle in dem von
erzeugten
-Untervektorraum
von . Der von all diesen
, ,
erzeugte Untervektorraum ist also
-invariant
und endlichdimensional.