重ねの理よりformula_12は