Creo que este es un resultado intuitivo. Si, por ejemplo, estaba trabajando con el primer número 11, podría dividirlo de la siguiente manera: $\{1, 10\}$, $\{2, 9\}$, $\{3, 8\}$, $\{4, 7\}$, $\{5, 6\}$.
Entonces claramente no hay manera que los números de $2$ pueden tener un gcd de distinto $1$. Sin embargo, soy tipo de perdidos sobre cómo iniciar una prueba formal para esto. Cualquier punteros sería mucho apreció.