>>264
Pr[A|B∩C]=0で良いと思うよ

というか、>>261の式って本当に成り立つとでも?