Corollary

Secondary statement which can be readily deduced from a previous, more notable statement

"it is only necessary to imagine any case in which the premises are true in order to perceive immediately that the conclusion holds in that case"

Peirce also held that corollarial deduction matches Aristotle's conception of direct demonstration, which Aristotle regarded as the only thoroughly satisfactory demonstration, while theorematic deduction is: