MT23

En effet, il n'existe qu'un seul élément neutre tel que $\forall x\in E, x*e=e*x=x$. Plus que l'unicité, c'est son existence qui est importante (l'unicité étant une conséquence de l'existence avec la démonstration faite dans la précédente réponse).

VH