soient (G,.)un groupe fini d'ordre paire.H le sous-ensemble de G défini par:
H={ x€G /x²=e et x déffirent de e}
1)montrer que la relation S définie dans G par:
xSy équivalent (y=x ou y=x puissance -1) est une relation d'équivalence.
2) en déduire que Caerd(H) est impaire
-----