Par exemple, pour prouver l'existence de l'élément neutre pour la loi , rechercher vérifiant :

.