今来たところだけどﾌｪﾙﾏｰの定理の証明って
凄い難しいんじゃなかった？(;´Д`)
なんか論文で100Pとか何かで読んだ気がする