逆にformula_21と仮定する。