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