Let $a, b \in \Bbb Z\backslash\{0\}$ . Suppose that $ab$ is a square, i.e., there exists $y \in\Bbb Z$ such that $ab = y^2$.

If $ab = y^2$ and $\gcd(a,b) = 1$ then show that a is either a square or the negative of a square.