In mathematics and logic, a corollary is a theorem of less importance which can be readily deduced from a previous, more notable statement. Wikipedia