谁遗五丁通蜀险，擘开双剑倚天长。

程公许，宋朝诗人。