Footnote 4.5.

A corollary is another sort of provable statement, like a proposition or theorem, but one that follows direction from another already established statement, or its proof.