Aquí hay una puramente ecuación prueba. En pocas palabras $\rm\ k = (n-1)!\ $ en
Teorema $\rm\ \ ((n+1)\ n\ k+1,\ n\ k+1)\ =\ 1$
Prueba $\ \ $ Trabajar en el módulo del gcd $\rm\: := d\:$ tenemos
$(1)\rm\quad\quad (n+1)\ n\ k\ \equiv\: -1\quad\quad$ por $\rm\ d\ |\ (n+1)\ n\ k+1$
$(2)\rm\quad\quad\phantom{(n+1)\ } n\ k\ \equiv\: -1\quad\quad$ por $\rm\ d\ |\ n\ k+1$
$(3)\rm\quad\quad\phantom{(n+1)\ n\ } n\ \equiv\,\ \ \ 0\quad\quad $ sustituyendo $\:(2)\:$ en $\:(1)\:$
$(4)\rm\quad\quad\phantom{(n+1)\ n\ } 0\ \equiv\: -1\quad\quad$ sustituyendo $\:(3)\:$ en $(2)$
Por lo tanto, concluimos que $\rm\: 0\ \equiv\ 1,\, $ es decir $\rm\ d\ |\ 1\quad$ QED
Desenrollando las relaciones lineales utilizadas en la prueba anterior (o, de forma equivalente, utilizando el algoritmo euclidiano extendido) se obtiene la relación de Bezout que di en la pregunta que enlazaste, a saber
$$ \rm 1\ =\ (n-1)!\ ((n+1)!+1)\ +\ (1-(n+1)!/n)\ (n!+1)$$
Obsérvese cómo lo que parece magia visto en términos de relaciones de divisibilidad se reduce a una relación puramente mecánico proceso de eliminación en forma de ecuación. En la teoría de los números superiores aprenderá con más precisión cómo los métodos del álgebra lineal, como la eliminación gaussiana, se extienden de los campos a ciertos anillos, por ejemplo, las formas normales de Hermite y Smith de Google.