Hint 6.7.3.1.

This is a hypergeometric distribution with \(n_1 = 15, n_2 = 35, r = 11\text{.}\)
in-context