3 Para enteros dados $n>0$ y $k> 1$, sea $F_{n,k}(x,y)=x!+n^k+n+1-y^k$. Demuestre que existen solo un número finito de parejas $(a,b)$ de enteros positivos tales que $F_{n,k}(a,b)=0$.