このとき、β∈"k" に対して、トレースtr"k"/"k"(β)が0であることと、ある α∈"k" が存在して β＝α-σα となることは同値である。