彼以险守，我以德怀。
王师东来，函谷自开。
蜀虏授首，呼号哀哀。
蜀人鼓舞，与我偕来。