グロタンディーク宇宙
例として、簡単な命題を証明する。