A

**corollary** is a statement that follows readily from a previous statement.

In

mathematicsMathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

a corollary typically follows a

theoremIn mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms...

. The use of the term

*corollary*, rather than

*proposition* or

*theorem*, is intrinsically subjective. Proposition

*B* is a corollary of proposition

*A* if

*B* can readily be deduced from

*A* or is self-evident from its proof, but the meaning of

*readily* or

*self-evident* varies depending upon the author and context. The importance of the corollary is often considered secondary to that of the initial theorem;

*B* is unlikely to be termed a corollary if its mathematical consequences are as significant as those of

*A*. Sometimes a corollary has a proof that explains the derivation; sometimes the derivation is considered to be self-evident.

It is also known as a bonus result.

In medicine, corollary sometimes refers to using older, more narrow spectrum

antibioticAn antibacterial is a compound or substance that kills or slows down the growth of bacteria.The term is often used synonymously with the term antibiotic; today, however, with increased knowledge of the causative agents of various infectious diseases, antibiotic has come to denote a broader range of...

s whenever possible. This is to avoid an increase in

drug resistanceDrug resistance is the reduction in effectiveness of a drug such as an antimicrobial or an antineoplastic in curing a disease or condition. When the drug is not intended to kill or inhibit a pathogen, then the term is equivalent to dosage failure or drug tolerance. More commonly, the term is used...

.

## Peirce on corollarial and theorematic reasonings

Charles Sanders Peirce held that the most important division of kinds of deductive reasoning is that between corollarial and theorematic. He argued that, while finally all deduction depends in one way or another on mental experimentation on schemata or diagrams, still in corollarial deduction "it is only necessary to imagine any case in which the premisses are true in order to perceive immediately that the conclusion holds in that case," whereas theorematic deduction "is deduction in which it is necessary to experiment in the imagination upon the image of the premiss in order from the result of such experiment to make corollarial deductions to the truth of the conclusion." He held that corollarial deduction matches Aristotle's conception of direct demonstration, which Aristotle regarded as the only thoroughly satisfactory demonstration, while theorematic deduction (A) is the kind more prized by mathematicians, (B) is peculiar to mathematics, and (C) involves in its course the introduction of a

lemmaIn mathematics, a lemma is a proven proposition which is used as a stepping stone to a larger result rather than as a statement in-and-of itself...

or at least a definition uncontemplated in the thesis (the proposition that is to be proved); in remarkable cases that definition is of an abstraction that "ought to be supported by a proper postulate.".