《史记·七十列传·韩信卢绾列传》
高祖七年冬天，皇帝亲自率军攻打韩信，在铜鞮击败韩信的军队，并将其部将王喜斩杀。
七年冬，上自往击，破信军铜鞮，斩其将王喜。
In the winter of the seventh year of Gaozu, the emperor personally led troops to attack Han Xin, defeated Han Xin's army in Tongdi, and killed his general Wang Xi.