>>262
そしたら必然的にグロタンディークがどうしたこうした
という話に捲き込まれ、もうグロタンなんか古いという
奴が登場しーの。