Grothendieckくらいの力があればそうしてもよい