"v" がアルキメデス的な絶対値であれば、 "k" の埋め込み σ をうまくとり、