We begin by noting that 
, and that
is a zero-mean RV. We use these facts thusly:
where we're defining 
as the Projection Operator from 
} to 
: the
Kalman Gain Matrix of reknown. Note that we have now reduced the filtering
update to calculating the two covariance matrices, 
and
. We will now proceed to derive a recursive expression for these matrices.