>>1の「Cがはずれであることがわかったとする」の部分がやや曖昧なのだが
例のページに書いてあるのと同じ条件で考えてるとしていいんだよな?