52枚のバラル(26赤、26黒;合計4キング)中、赤またはキングのカードは何個ありますか?どの公式が適用され、そしてなぜですか?