大日如来とアレクサンドル・グロタンディークはどっちの方が凄いですか？