尚このformula_17は、確率が満たさなければならない以下の条件をきちんと満たしている。