정의역과 치역이 모두 음이 아닌 정수들의 집합인 함수 중에서, 모든 자연수 $n$에 대하여 \[ f(f(n)) = n+1987\]을 만족하는 함수 $f$는 존재하지 않음을 증명하여라.