재귀적 정의의 역링크