Về quân của Mã Tốc ra Nhai Đình:
Xét thấy khi Đặng Ngải vào Thành Đô, cho kiểm kê thấy có 28 vạn hộ, số trai gái 93 vạn, quân lính hơn 10 vạn. Số này chưa bao gồm quân Khương Duy ở Kiếm Các, quân bố phòng phía Nam (số quân bố phòng phía này có lẽ không đáng kể vì phía Nam đã lâu hàng phục về...