一旦、"kx" が定義されると、"kx" のみに依存した "x" の性質を研究することができる。