Cette proposition est évidente à partir de E2p7, ou encore de E2p14.
Hæc propositio patet ex propositione 7 partis II vel etiam ex propositione 14 partis II.
...
