Porism

A porism is a mathematical proposition or corollary. In particular, the term porism has been used to refer to a direct result of a proof, analogous to how a corollary refers to a direct result of a theorem. In modern usage, a porism is a relation that holds for an infinite range of values but only if a certain condition is assumed, for example Steiner's porism. The term originates from three books of Euclid with porism, that have been lost. Note that a proposition may not have been proven, so a porism may not be a theorem, or for that matter, it may not be true.