When we know the total number of caught typos in advance, the typos
caught by the first proofreader are no longer independent. For example,
if we know that first proofreader has caught the first t
typos, and the total number of caught typos is t,
then the probability of the first proofreader catching subsequent typos
is 0,
since the total number of caught typos was t.
Thus, we employ a Hypergeometric distribution. Since p1=p2,
all (2nt)
t-tuples
of caught typos are equally likely. Hence,
P(X1=k∣∣
∣
∣∣X1+X2=t)=(nk)(nt−k)(2nt)