Prove que não existe nenhuma função f do conjunto de inteiros não negativos em si mesmo tal que f(f(n))=n+1987 para todo n.