《隋书·列传·卷二十八》
义臣打击他们，他们于是逃到塞外，义臣率兵追击，追到大斤山，与贼人相遇。
义臣击之，虏遂出塞，因而追之，至大斤山，与虏相遇。
Yichen struck them, so they fled to the area outside the frontier, and Yichen led his troops in pursuit, chasing them to Dajin Mountain, where he encountered the bandits.