seperable でないスキームの構成法の代表やわな
もちろん大学院受けるならこれくらいは即答できんとダメやわな