corollary

1 a practical consequence that follows naturally; "blind jealousy is a frequent corollary of passionate love"

2 (logic) an inference that follows directly from the proof of another proposition

English

Etymology

From Latin corollarium meaning "deduction, consequence", originally "money paid for a garland," hence "gift, gratuity, something extra." From Latin corolla "small garland", diminutive of corona "crown."

Noun

1. Something given beyond what is actually due; something added or superfluous.
2. Something which occurs a fortiori, as a result of another effort without significant additional effort.

   Finally getting that cracked window fixed was a nice corollary of redoing the whole storefont.

3. A proposition which follows easily from the proof of another proposition.

   We have proven that this set is finite and well ordered. As a corollary, we now know that there is an order-preserving map from it to the natural numbers.

Translations

*Spanish: corolario

• Swedish: följdsats , korollarium
• Persian: به طريق اولي، منتجه

A corollary is a statement which follows readily from a previously proven statement. In mathematics a corollary typically follows a theorem. The use of the term corollary, rather than proposition or theorem, is intrinsically subjective. Proposition A is a corollary of proposition B if A can readily be deduced from B, but the meaning of readily varies depending upon the author and context. The importance of the corollary is often considered secondary to that of the initial theorem; A is unlikely to be termed a corollary if its mathematical consequences are as significant as those of B. Sometimes a corollary has a proof that explains the derivation; sometimes the derivation is considered to be self-evident.

See also

• Lemma

accession, accessory, accompaniment, addenda, addendum, additament, addition, additive, additory, additum, adjunct, adjuvant, aftereffect, annex, annexation, appanage, appendage, appendant, appurtenance, appurtenant, attachment, attendant, augment, augmentation, by-product, coda, complement, conclusion, concomitant, consequence, consequent, continuation, deduction, derivation, derivative, development, distillate, effect, end product, event, eventuality, eventuation, extension, extrapolation, fixture, fruit, harvest, illation, increase, increment, induction, inference, issue, legacy, logical outcome, offshoot, offspring, outcome, outgrowth, pendant, precipitate, product, reinforcement, result, resultant, sequel, sequela, sequence, sequent, side effect, side issue, supplement, tailpiece, undergirding, upshot