formula_117の任意の元を選び、それをformula_1の核の直交補空間に直交して投影することで求まる。