OpenYourMath

Soit $G$ un ensemble muni d’une loi de composition interne associative, admettant un élément neutre à droite et tel que chaque élément de $G$ admette un symétrique à droite. Montrer que $G$ est un groupe.