同変代数的k-理論は、定義により、