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