2 Para cada primo $p$ , construya un grafo $G_p$ sobre $\{1,2,\ldots p\}$ , donde $m\neq n$ son adyacentes si y solo si $p$ divide a $(m^{2} + 1-n)(n^{2} + 1-m)$ . Demuestre que $G_p$ es disconexo para infinitos $p$