つまり、進公子は大衍の迷陣に行ったと！