これら二つの構成が互いに逆になっていることは明らかであるから、"v" の順序基底とf"n" から "v" への線型同型との間に一対一対応があることがわかる。