E1 Proposition 9
E1 Proposition 10
Cela est évident d’après la définition 4.
Patet ex definitione 4.
...