ディオファントス方程式
where formula_69 and the set formula_70 consists of all non-negative integer solutions of the Diophantine equation formula_71.