グロタンディークとウィッテンって
どっちが凄いんだろう。
両者は各々相手に対しどう思ってるんだろう