2p13l7d.md (88B)
1 This proposition is evident from the definition of an 2 individual prefixed to Lemma iv. 3 4