formula_68をその葉の数とする。