E674 -- Demonstratio theorematis insignis per coniecturam eruti circa intagrationem formulae ∫ (dφ cos(iφ))/(1 + aa - 2acos(φ))^{n + 1}