Gauss's identity