続き：

In this “rising sea” the theorem is “submerged and dissolved by some more or less
vast theory, going well beyond the results originally to be established” [Grothendieck
1985–1987, p. 555].2 Grothendieck calls this his approach and Bourbaki’s.