The 52 cards in a shuffled deck are dealt equally among four players, call them a, b, c, and
d. if a and b have exactly 7 spades, what is the probability that c has exactly 4 spades?