>>144
修正は済んでいないどころか、京都では主定理への反例が挙がっているそうだ。　禿藁も終ったなあ。