E2P13D8
Demonstration — Part II
Latin
Patet ex ipsius definitione, quam vide ante lemma 4.
English (Elwes 1883)
This proposition is evident from the definition of an individual prefixed to Lemma iv.
Modern English
This is evident from the definition of an individual, which is given before Lemma 4.