若筭防边久远名，新安岂更胜长城。 谩兴他役悲荒垒，何似从今实取兵。 圣德便应同险固，人心自不向忠贞。 但将死节酬尧禹，版筑无劳寇已平。