Since P is infinite, there exists a pair {c, d} = U in P distinct from all {ai, bi} in the support o...