条件確率の性質と検証方法