さらに任意のformula_198に対し、