ディオファントス方程式
where is the dimension of , and the sum is taken over and all sequences of satisfying the linear Diophantine equation