formula_17はある整数formula_19を用いてformula_20は整数全体を動くformula_13の形に表すことができる。