위연의 반역은 제갈량이 어떻게 안것인지?

안녕하세요? 삼국지에서 촉나라에서 위연의 반란은 제갈량이 미리 알고 있었다고 전해지는데요 어떻게 안것인지 역사가 궁금합니다.