Imagine f going from dimension n to dimension k.
仮に f が n 次元から k 次元に行っていると想像しよう。