Thục Hán bị diệt, một đội quân chạy ra nước ngoài, mang theo tiên đoán của Khổng Minh: Kết quả ứng nghiệm