formula_9をformula_10以下の整数とし、formula_11とする。