done with proof of Gauss's theorem