>>553
マイナス一歩目一番地のグロタンディーク構成からのK群、指数定理。