 Corollary

An easy to prove theorem that follows from a harder to prove theorem.

A corollary is a statement or proposition that follows readily from a previously established statement, theorem, or proposition. In mathematics, a corollary often serves as a direct consequence of a theorem that has just been proven. It typically requires less elaborate proof than the original theorem and is often a straightforward extrapolation of its conclusions.