若筭防边久远名，新安岂更胜长城。

谩兴他役悲荒垒，何似从今实取兵。

圣德便应同险固，人心自不向忠贞。

但将死节酬尧禹，版筑无劳寇已平。