有一个有限长度的单向链表：
ln {
ln * next;
DATA
}
首指针为FIRST；其中可能存在一个闭合的环，要求写一段C程序，确定是否存在闭合的环。
要求无论该链表长度为多少（有限长），能确保该段代码在有限时间和有限内存空间限制内正确得出结果！