蛟龙壁上有新诗，匡鼎归来一解颐。

欧大任，明朝诗人。