このときformula_94が閉基であることから、