各々のformula_66に対し、formula_58は積formula_68として選択され、拡張円分多項式である。