Ngải toại chí Miên Trúc, đại chiến, trảm Gia Cát Chiêm). Nếu vậy thì Tam quốc chí của Trần Thọ chép rằng Gia Cát Chiêm bị chém chết tại trận chứ đâu phải hàng Đặng Ngải nhỉ?