各パターンformula_4に、それが何度用いられるかを表す変数formula_5(0含む自然数)を対応させる(formula_6)。