K理論はグロタンとアティヤーどちらの業績が大なのだろうか・・・