In the text "Function Theory of One Complex Variable" by Robert E.Greene and Steven G.Krantz I'm having trouble obtaining a proof of $\text{Proposition (1)}$ via Cauchy-Goursat may I have hints on finishing the proof including any alternative approaches to the problem ? The attempted proof can be followed from $\text{Lemma (1)}$
$\text{Proposition (1)}$
Let $f$ be holomorphic on $\mathbb{C} \setminus \{ 0 \}.$ Let $s_1, s_2 > 0$. Prove that if $\Psi_{1}$ and $\Psi_{2}$ are counterclockwise oriented squares of center $0$ and side length $s_1$ and $s_2$, respectively, then in $(1.1)$
$$ \frac{1}{2 \pi i} \oint_{\Psi_1} f(\zeta) \, d\zeta = \frac{1}{2 \pi i} \oint_{\Psi_2} f(\zeta) \, d\zeta \tag{1.1} $$
$\text{Remark}$
We are not assuming that the sides of these squares are parallel to the coordinate axis, An important hint is to note that the function $f$ has an holomorphic antiderative on $\, \{ z = x+iy : y > 0 \}.$ and $\, \{ z = x+iy : y > 0 \}.$ Use these to evaluate the integrals over the top and bottom halves of the given curves.
$\text{Lemma (1)}$
Recall from $\text{Proposition (1)}$ that are integrals are defined over a counterclockwise oriented square for the sake of our proof one should consider this contour with it's vertices being defined as $\phi$, $\omega$, $\Gamma$, $\gamma$ and finally $0$.To fully realize the ovulation of our integral we will need the Cauchy-Goursat Theorem which is fully developed in $(1.2)$
$\text{Theorem 1.2 (Cauchy Goursat)}$
Let $U$ be an open subset of C which is simply connected, let $f : U → C$ be a holomorphic function, and let ${\displaystyle \!\,\Gamma } \!\,$ be a rectifiable path in $U$ whose start point is equal to its end point. Then in $(1.2)$
$$\oint_\Gamma f(z)\,dz = 0. \tag{1.2}$$
In view of $(1.2)$ one trivially achieves the following developments for the LHS side of $(1.1)$ in $(1.3)$
\begin{align} & \frac{1}{2 \pi i} \oint_{\Psi_1} f(\zeta) \, d\zeta \\[10pt] = {} & \frac{1}{2 \pi i} \bigg( \oint_\omega^\phi f(z)i \, dy + \oint_\omega^\Gamma f(z) \, dx + \oint_\Gamma^\gamma f(z) \, dx + \oint_\phi^\gamma f(x)i \, dy \bigg ) = 0 \tag{1.3} \end{align}
In view of the approach in $(1.3)$ we obtain similar conclusions in $(1.4)$
\begin{align} & \frac{1}{2 \pi i} \oint_{\Psi_1} f(\zeta) \, d\zeta \\[10pt] = {} & \frac{1}{2 \pi i} \bigg( \oint_\omega^\phi f(z)i\,dy + \oint_\omega^\Gamma f(z) \, dx + \oint_\Gamma^\gamma f(z) \, dx + \oint_\phi^\gamma f(x)i\,dy \bigg ) = 0 \tag{1.4} \end{align}
Hence, in conclusion, from $(1.4)$ and $(1.3)$ one has
$$ \bigg( \frac{1}{2 \pi i} \oint_{\Psi_1} f(\zeta)\,d\zeta = 0 \bigg) = \bigg( \frac{1}{2 \pi i} \oint_{\Psi_2} f(\zeta) \, d\zeta = 0 \bigg) $$