>>178
横からだが、その場合わけは今回は不要。
要するに｢赤以外」が5個あるんだから、10個から3個引いて
全部その「赤以外」ならいいわけだ。

つまり C[5,3] / C[10,3] でおけ。