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