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