1: \begin{proof}

2: We will give a sequence of maps $H\colon D\times \A^1\ra (\A^2-0)$,

3: each giving an $\A^1$-homotopy from $H_0$ to $H_1$.  These will

4: assemble into a chain of homotopies from $\delta$ to $R$.   Note that

5: $D\times \A^1$ is isomorphic to 

6: $(C\times \A^1)\amalg_{(\A^1-0)\times \A^1} (C\times \A^1)$ 

7: and that $C\times \A^1$ is isomorphic to

8: \[ 

9: \bigl [(\A^1-0)\times \A^1\times \A^1\bigr ]

10: \amalg_{(\A^1-0)\times \{1\}\times \A^1}

11: \bigl [ \A^1\times \{1\}\times \A^1 \bigr ].

12: \]

13: To specify a map $C\times \A^1\ra (\A^2-0)$,

14: it suffices to

15: give a polynomial formula

16: $(x,t,u) \mapsto f(x,t,u) = (f_1(x,t,u), f_2(x,t,u))$

17: with the ``formal'' properties that

18: $f(x,t,u) \neq (0,0)$ whenever $x \neq 0$, and

19: $f(x,1,u) \neq (0,0)$ for all $x$ and $u$.

20: Rigorously, this amounts to the ideal-theoretic conditions that

21: $f_1, f_2 \in k[x,t,u]$,

22: $x\in \Rad(f_1,f_2)$ and $(f_1(x,1,u),f_2(x,1,u))=k[x,u]$.

23: 

24: Here are three maps $D\ra (\A^2-0)$:

25: \begin{align*}

26: & f_1\colon \qquad (x,t) \mapsto (x,x+t), &

27: (y,s) \mapsto (y+s,y) \\

28: & f_2\colon \qquad (x,t) \mapsto (x,x+t), &

29: (y,s) \mapsto (y,y-s) \\

30: & f_3\colon \qquad (x,t) \mapsto (x,t), & 

31: (y,s) \mapsto (y,-s)

32: \end{align*}

33: and

34: here are four homotopies:

35: \begin{align*}

36: H_1&: \begin{cases}

37: \quad(x,t,u) &\mapsto (x, (1-t+ut)x+t) \\

38: \quad(y,s,u) &\mapsto ( (1-s+us)y + s, y).

39: \end{cases}

40: \\

41: H_2&: 

42: \begin{cases}

43: \quad (x,t,u) &\mapsto (x, x+t),\\

44: \quad (y,s,u) &\mapsto ( y + (1-u)s, y - us). 

45: \end{cases}

46: \\

47: H_3&:

48: \begin{cases}

49: \quad (x,t,u) &\mapsto (x, x+t-ux) \\

50: \quad (y,s,u) &\mapsto (y, y-s-uy). 

51: \end{cases}

52: \\

53: H_4&:

54: \begin{cases}

55: \quad (x,t,u) &\mapsto (x, (1-u)t+u(2t-1)) \\

56: \quad (y,s,u) &\mapsto (y, (u-1)s-u). 

57: \end{cases}

58: \end{align*}

59: We leave it to the reader to verify that each formula really does

60: define a map $D\times \A^1\ra (\A^2-0)$, and that these give

61: $\A^1$-homotopies

62: \[ \delta \he f_1 \he f_2 \he f_3 \he R.

63: \]

64: \end{proof}

65: