Fix definition of \pairpath in section 2.6

In section 2.6, on page 77, after the proof, the type of \pairpath is given incorrectly, using pr_1 for both sides of the pair.