洞底天无隔，多应禹凿开。海声通屈曲，石汗洗尘埃。
欲探岩崖去，空令杖履回。无端僧占住，多少后人来。
和戴剡源同史宪使游三天洞二首 其一。元代。贡奎。 洞底天无隔，多应禹凿开。海声通屈曲，石汗洗尘埃。欲探岩崖去，空令杖履回。无端僧占住，多少后人来。