期待値の反復公式 E[E[X|Y]] の結果はどれか。

n次元ベクトルXの共分散行列Σは常にどのような性質を持つか。