2.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$