Corollary

A “corollary” is a self-evident implication of already established knowledge. A corollary of an axiom is not itself an axiom; it is not self-evident apart from the principle(s) at its root (an axiom, by contrast, does not depend on an antecedent context). Nor is a corollary a theorem; it does not permit or require a process of proof; like an axiom, it is self-evident (once its context has been grasped). It is, in effect, a new angle on an established principle, which follows immediately once one grasps its meaning and the principle on which it depends.¹