Gauss's theorem