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