「陈迹亦已空」出自宋代·程俱的 《自仲嘉云亡未始见梦舟行夜入吴兴境有梦如平生感而赋诗四首 其一》。
江子隘斯世，翛然向方蓬。
一朝成千古，寤寐不复通。
夜入霅溪境，胡然见幽梦。
高标何所似，俯仰风中松。
笑谈如平生，炯炯双方瞳。
去年经行地，陈迹亦已空。
故应玄真老，相与游无穷。