>>685
ただ、今回の場合取りまとめて同じ経路で出してるから
どれぐらいの数かはわからんが、証明自体はさほど難しくないかも?