Let $F = ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. We say $D = b^2 - 4ac$ is the discriminant of $F$. Let $m$ be an integer. If $m = ax^2 + bxy + cy^2$ has a solution in $\mathbb{Z}^2$, we say $m$ is represented by $F$. If $m = ax^2 + bxy + cy^2$ has a solution $(s, t)$ such that gcd$(s, t) = 1$, we say $m$ is properly represented by $F$.
My question Is there any other proof of the following theorem other than the Gauss's original proof? Since this theorem is important, I think having different proofs is meaningful.
It would be also nice if some one would post a modern form of the Gauss's proof, since not everybody can have an easy access to the book.
Theorem(Gauss: Disquisitiones Arithmeticae, art.154) Let $ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. Let $D$ be its discriminant. Let $m$ be an integer. Suppose $m$ is properly represented by $ax^2 + bxy + cy^2$. Then $D$ is a quadratic residue modulo $4m$.
EDIT The Gauss's DA is notorious for its difficult read. This was even so for his contemporaries. Dirichlet devoted a lot of time to simplify DA. There is a legend that Dirichlet always carried DA in his travels. Gauss's proof often uses a "magic" equation which seems to come out of nowhere. One of the reasons is that, as he wrote, he could not afford elaborate proofs due to lack of enough available pages for an economical reason. So I think it would be nice if there is a more natural proof.