E1 Proposition 27
E1 Proposition 28
Cette proposition est évidente d’après l’axiome 3.
Hæc propositio patet ex axiomate tertio.
...
