Sean $(a_n)_{n\ge 1}$ y $(b_n)_{n\ge 1}$ dos sucesiones de números naturales tales que $a_{n+1} = na_n + 1, b_{n+1} = nb_n - 1$ para todo $n\ge 1$ . Demostrar que estas dos sucesiones pueden tener sólo un número finito de términos en común.