Something which follows from the demonstration of a proposition; an additional inference or deduction from a demonstrated proposition; a consequence.