を満たすformula_24内の解とする。