formula_120は、formula_106となるようにソート済みであるとし、formula_122とする。