1: \begin{definition} Given $Q(s,t): A_{\star} \to

2: A_{\star}(\!(s,t)\!)$ we extend to a ring homomorphism

3: 	\[

4: 	Q(s,t): A_{\star}(\!(c,d)\!) \to A_{\star}(\!(c,s,d,t)\!)

5: 	\]

6: by the rule:

7: 	\[

8: 	Q(s,t)c = c+dst^{-1}, \quad Q(s,t)d = d+d^2t^{-1}.

9: 	\]

10: Here the target ring is defined as:

11: 	\[

12: 	A_{\star}(\!(c,s,d,t)\!) :=

13: 	\left(A_{\star}[c,d]\llbracket d,t\rrbracket/(c^2=ac+ud,

14: 	s^2=as+ut)\right)[d^{-1},t^{-1}]

15: 	\]

16: and the operation lands in this ring because of the vanishing

17: property in Theorem \ref{thm:properties}(\ref{vanishing}).

18: \end{definition}

19: