受け取った暗号文をformula_12とする。