Lemma 2
For each
d > 0, there is an algebraic morphism
F_{d, n} :
Q^{(n + 2)}Q^{(n + 2)}
and an algebraic isomorphism
such that
 (i)
 under the identification (by Scholium 1)
Q^{(n + 2)} =
C(
Q'^{(n)},
(1))
we have
F_{d, n} =
C(
F_{d, n  2},
)
.
 (ii)

F_{d1, n}oF_{d2, n} = F_{d1d2, n}.