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