>>588
Corollaryなのに自明じゃなくて、いつの間にか約10ページの証明がつけられていて、
それでもなお理解できないってある意味すごいよね