がformula_12の中のすべての余接ベクトル "p" に対して成立する。