Projecting onto
you get:
. if
is known to
then
is known to
.
Expansion for
:
(defining V)
. Note that
is not normalized.
Define
. Then
. Note that
and
,
, and
. normalization:
.
Define
. Then
. Then
In general, corrections get smaller.