この両辺に単調関数formula_3を繰り返し適用するとformula_31(formula_32)が得られるが、formula_27はformula_3の不動点であるからすなわちformula_35が成り立つ。