グロタンディークがメジャーで有名になるのはちょっと嫌かも。