Mantel's theorem


Mantel's theorem is a lemma.