ここで、formula_15はformula_16によって誘導される確率である。