0130132人目の素数さん2018/11/03(土) 19:01:49.13ID:+WkDypjk 今回の南出氏たちの結果は、Cor 3.12 を使わずに示されたことなのか? そうならば、IUT の 3.12 以前の部分に一定の有用性があるということか?