Mantel's theorem