noun.
In mathematics, a proposition incidentally proved in proving another; an immediate or easily drawn consequence; hence, any inference similarly drawn.
noun.
A surplus; something in excess.
noun.
Synonyms Conclusion, etc. See inference.
Same as corollar and corollate.