无底洞的探索圆满结束，我们给它起名紫石洞，从此一个新洞名诞生

探索未知无底洞的工作圆满结束了。我们给它起名紫石洞。从此无底洞将成为历史，取而代之的是一个崭新的洞穴名字紫石洞