Once KX is defined, it is possible to study properties of X which depend only on KX.
一旦、KX が定義されると、KX のみに依存した X の性質を研究することができる。