2p13l7d.md (93B)
1 Cela est évident par la définition même de l'individu. Voir ce qui précède le 2 Lemme 4. 3 4