Corollary by Ciro Santilli 35 Updated +Created
An easy to prove theorem that follows from a harder to prove theorem.