 Corollary

An easy to prove theorem that follows from a harder to prove theorem.