《明史·列传·卷二百零九》
简定逃入山中，大肆搜索而不得，于是明军便包围了该山，大越的伪将伪相陈希葛、阮汝励、阮晏等都被擒。
定走入山，大索不得，遂围之，并其伪将相陈希葛、阮汝励、阮晏等俱就擒。
Jianding escaped into the mountain, and they searched extensively but could not find him, so the Ming army surrounded the mountain, and the false generals and false xiang of Dai Viet, Chen Xige, Nguyen Ru li, Nguyen Yan, etc. were all captured.