Theoreme
Soit la justice dans l'ensemble des institutions repressives.
Soit la peine de mort dans l'ensemble des sanctions.

Si la justice commet au moins une erreur sur son ensemble de definition (vrai par definition) alors la peine de mort n'est pas la solution.