禹穴元从一罅通，禹陵元在乱山中。

魏了翁，宋朝诗人。