Show that $n$ is odd $\rightarrow \exists m \in \mathbb Z,n^2 = 8m + 1$
Let $k$ be an integer so that $n = 2k+1$. Then $n^2 = (2k+1)^2 = 4k^2 + 4k + 1 = 2\left(2k^2+2k\right) + 1$.
But this isn't equal to $8m+1$, so can I change that into $4(2m)+1$?