魏延さんは漢中の防衛陣敷いてくれたけど諸葛亮さんは蜀に何を残してくれたの?