formula_1はパスカルの"m"-単体を表すものとする。