古有郑公渠，一凿民蒙利。
今看郑公堤，二载徒力费。
成败虽不同，志意初无异。
龙门犹可断，匏子塞未易。
功亏亦遗爱，久应说古事。