何が恐ろしいってスキームで代数幾何を書き直したのはグロタンディークの成果の一部でしかないこと