状態空間モデルにおいて、新しい観測値が得られるたびに状態の予測値を逐次的に更新するアルゴリズムを何というか。

十分統計量T(X)が存在するとき、任意の不偏推定量をT(X)で条件付けた期待値をとることで、分散がより小さい（または等しい）不偏推定量を構成できる定理はどれか。