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.