A corollary is a theorem that can be established directly from a theorem that has been proved. These tend to be “special cases” that must be mentioned alongside the main theorem.