That is probability of being dealt a hand of five red cards to begin with.