Let be an -orthogonal basis of with respect to
(cf. Proposition 1.3).
As by Proposition 1.18,
we can find such that
for each . We set ()
and .
Note that for all , that is, is a sub-lattice of and
is finitely generated over .
For , by Proposition 1.14,
|
|
|
|
|
|
|
|
so that we have .
∎