Proof of Kalman filter related lema