A corollary is a type of shell that functions exactly like a Theorem, except has the word "Corollary" on top instead of "Theorem".