A.deduction from a previous demonstration, corollary, as it were a windfall or bonus (cf. “πορίζω” 11.2), Euc.3.1, etc.: metaph., Procl. in Alc.p.139C., Hierocl.in CA23p.469M., Dam.Pr.251.
II. (“πορίζω” 111) a kind of proposition intermediate between a theorem and a problem, defined by Papp.648.18 sqq., Procl.in Euc.p.301F.