formula_151の最大不分岐部分拡大 "t" および最大順分岐部分拡大 "v" に対して、以下のことが成立する。