>>50-51
南出もPorowskiもHiladoも
Cor 3.12を自分で証明すればいいじゃん
IUTとは全く独立に

別に証明は1つとは限らないし
「別証明」のほうが簡明なら意味あるよ
やってみ?