The two constructions yield the same K-groups.
2つの構成は、同一の K-群を構成する。