Sea $k\ge 2$ un entero y $a_1,a_2,\cdots,a_k$, sean $k$ números reales no nulos. Demuestre que hay finitamente muchos pares de enteros positivos distintos por pares $(n_1,n_2,\cdots,n_k)$ tales que $$a_1\cdot n_1!+a_2\cdot n_2!+\cdots+a_k\cdot n_k!=0.$$