Apparatus

302Propositio 77a in interl. C