Kalman Filter Recursion Theorem