formula_8をオイラー関数とするとformula_18となる。