xを任意の "p" × 1の確率変数の列ベクトルとし、その分散共分散行列が "p" × "p" の恒等行列だとする。