Apparatus
1 Propositio 77a in interl. C