今回の南出氏たちの結果は、Cor 3.12 を使わずに示されたことなのか?
そうならば、IUT の 3.12 以前の部分に一定の有用性があるということか?