このとき、β∈"k" に対して、ノルム "n""k"/"k"(β)が1であることと、ある0≠α∈"k" が存在して β＝α/σα となることは同値である。