明 唐寅 《出塞》诗之一：“ 姑衍山 重禪， 燕然 石再刳。”

参阅《史记·匈奴列传》。