如何证明:prove that there exists a pair of consecutive integers