Cela est évident par la définition de l’individu ; voir avant le lemme 4.
Patet ex ipsius definitione, quam vide ante lemma 4.
...
