《周书·列传·卷四十九》
前后派遣开府元望、赵刚等率军征讨，虽然剪除了其不少族类，但是未能除去其首恶。
前后遣开府元契、赵刚等总兵出讨，虽颇剪其族类，而元恶未除。
Grand masters Yuan Wang and Zhao Gang and others were sent separately to lead armies to suppress the rebellion, and although many of the rebels were eliminated, the leaders were not captured.