For ,
let be an -orthogonal basis of with respect to .
Then, by Proposition 1.9, forms an
-orthogonal basis of and with respect to and ,
respectively, so that is also an -orthogonal basis of with respect to .
Note that for all .
Thus, for ,
|
|
|
and
|
|
|
Thus, we have the assertion by taking .
∎