赤が出てる確率を、赤が出てしまってからの確率にからめて
考える必要は全くない。