At the last paragraph of proo(in page 125),the text says 'By theorem 5.3'，but this proof just proves this theorem.Accoding to this section says above,maybe would this be Lemma5.1 which proofs Pr{hash(x) = hash(y)}<=2/2^d?