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.