Corollary

A result that follows from a previously proved theorem.