³⁰²Propositio 77^a in interl. C