《资治通鉴·汉纪·汉纪三十九》
于是，邓训征调湟中地区的汉人、胡人、羌人部队四千人出塞，在写谷袭击迷唐，将他打败。于是迷唐撤离大、小榆谷，移居到颇岩谷，部众全部离散。
训因发湟中秦、胡、羌兵四千人出塞，掩击迷唐于写谷，破之，迷唐乃去大、小榆，居颇岩谷，众悉离散。
Deng Xun requisitioned 4,000 troops from the Han, Hu, and Qiang people of the Huangzhong region to leave the fortress and attack Mida in Xigu Valley, where they defeated Mida. Mida withdrew from Big and Small Yu Valley to move to Poyan Valley, and his entire tribe scattered.