击陈豨，屠马邑 。所将卒斩豨将军乘马絺。击韩信、 陈豨、赵利军於楼烦，破 之。得豨将宋最、雁门守■。因转攻得 云中守、 丞相箕肆、将勋。定雁门郡十七 县，云中 郡十二县。因复击豨灵丘， 破之，斩豨，得豨丞相程纵、将军 陈武、都尉高肆。定代郡九县。燕王卢绾反，勃以相国代樊哙将，击下蓟，得绾大将抵、丞相偃、守 陉、太尉弱、御史大夫施， 屠浑都。破绾军上兰，复击破绾军沮阳 。追至长城，定上谷十二县，右北平十六县，辽 西、辽东二十九县，渔阳二 十二县。最从高帝得相国一 人，丞相二人，将 军、二千石各三人；别破军二，下城三，定郡 五，县七十九，得丞相、大将 各一人。