また、このとき σ が実埋め込みならばformula_23で、複素埋め込みならばformula_24が成り立つ。