Cor 3.12の証明はどうなったんだ？
2年前には指摘されて、7ヶ月前には筆者だけで無く査読者も理解したんだろう？
これだけ時間があって理解者たちが誰一人Cor3.12の証明を詳しく述べるペーパーを出さないのは何故だろうか
Dupuyも明確に3.12は私には証明できないと述べていたが