417Propositio 87a correxi Propositio 87 S Propositiones 87 C 41885 C om. S 419conficitur S efficitur C