proof of Gauss's Theorem