A proposition which follows easily from the proof of another proposition.
A gift beyond what is actually due; an addition or superfluity.
An a fortiori occurrence, as a result of another effort without significant additional effort.
Occurring as a natural consequence or result; attendant; consequential.
Forming a proposition that follows from one already proved.
An abstract representation, typically including a name and a type, of a parameter expected to be passed to a method or function.