擊陳豨，屠馬邑。所將卒斬豨將軍乘馬絺。擊韓信、陳豨、趙利軍於樓煩，破之。得豨將宋最、鴈門守圂。因轉攻得雲中守遬、丞相箕肆、將勳。定鴈門郡十七縣，雲中郡十二縣。因復擊豨靈丘，破之，斬豨，得豨丞相程縱、將軍陳武、都尉高肆。定代郡九縣。