1: \begin{proof}

2: The intuition behind this statement is that Artin's approximation theorem tells us that $H^\et$ is dense in $H$. In order to give a rigorous proof it is useful to restrict further to the monoid introduced above: this is still dense in $H$ and we can exploit its indscheme structure to study its functions. It is clearly sufficient to show that restriction from $H$ to the monoid, which we'll denote by $M^H$, (respectively from $H \times H$ to $M^H \times M^H$) is injective: if two maps agree on $H^\et$, they certainly agree on $M^H$. We will carry out the proof for the case $H=G$; the remaining cases are very similar (and where different, simpler). 

3: 

4: By the universal property of colimits, a map $\phi: M^G \to \A{1}$ is given by a compatible family of polynomials 

5: \begin{align*}

6: \left( f_{\alpha,N} \in k[a^k_J]_{|J| \le \alpha}/((a^k_{\underline{0}})^N) \right)_{\alpha,N}.

7: \end{align*}

8: 

9: For fixed $N$, the compatibility between $f_{\alpha,N}$ is the following: if $\alpha_1 > \alpha_2$, we require that the polynomial obtained from $f_{\alpha_1, N}$ by setting $a^K_J =0$ for all $J$ with $|J| > \alpha_2$ be equal to $f_{\alpha_2, N}$. 

10: 

11: Similarly, a map $\psi: G \to \A{1}$ is defined by a compatible family of polynomials

12: \begin{align*}

13: \left( g_{N} \in k[a^k_J]_{J \in \BZ_{\ge 0} ^n} / ((a^k_{\underline{0}})^N) \right) _N.

14: \end{align*}

15: 

16: Let $\phi^1=(f^1_{\alpha,N})$ and $\phi^2=(f^2_{\alpha,N})$ be the restriction of two maps $\psi^1=(g^1_N)$ and $\psi^2=(g^2_N)$ to $M$. For any $\alpha$, the polynomial $f^i_{\alpha,N}$ is obtained from $g^i_N$ by setting $a^k_J = 0$ for all $J$ with $|J| > \alpha$. It is clear that if $f^1_{\alpha,N} = f^2_{\alpha,N}$ for every $\alpha$, then $g^1_N = g^2_N$. That is, if $\phi^1 = \phi^2$, then $\psi^1 = \psi^2$, and so the restriction map is injective, as required. 

17: 

18: The argument for $G^\et \times G^\et \emb G \times G$ is similar. 

19: \end{proof}

20: