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.