1: \begin{proof}

2: 	

3: We should note that the above integral is a bit sloppy.  We are trying to integrate a complex 1-form over a real 1-chain.  To make things rigorous, we write $f=u+iv$ where $u$ and $v$ are real valued functions.  So the integral above becomes

4: \begin{align}

5: \cint_J f(z)dz &= \cint_{J}(u(x,y)+iv(x,y))d(x+iy) \\

6: &=  \cint_{J}\left( u(x,y) dx  -v(x,y)dy\right)+ i\cint_{J} \left(v(x,y) dx + u(x,y)dy\right).\label{decomp}

7: \end{align}

8: Since $U$ is bounded, it follows that the $1$-forms $udx$, $vdy$, $vdx$, $udy$ are elements of $\B_1^r(U)$ for all $r\geq 0$.  So, (\ref{decomp}) consists of well-defined Harrison integrals, so one may take this to be the definition of $\cint_J f(z)dz$.  Apply Lemma \ref{poincare} to $J$ to get $J=\partial K$ where $K$ is a differential $2$-chain supported in $U$.  By Lemma \ref{stokes}, we get

9: 

10: \begin{align*}

11: \cint_J f(z)dz&=\cint_{\partial K} \left(u(x,y) dx  -v(x,y)dy\right)+ i\cint_{\partial K}\left( v(x,y) dx + u(x,y)dy\right)\\

12:  &= \cint_K  \left(\frac{\p u}{\p y} + \frac{\p v}{\p x}\right) dydx + i \cint_K \left(\frac{\p v}{\p y} - \frac{\p u}{\p x}\right)dydx\\

13: &=0,

14: \end{align*}

15: where the final equality is given by the Cauchy-Riemann Equations.  

16: \end{proof}

17: