ﾌｪﾙﾏｰの定理って94年に証明されたんだね(;´Д`)
たしか92年に数学の講師がこの定理が証明されたらﾌｨｰﾙｽﾞ賞もらえるかもね
とか言ってたのをふと思いだしたよ