Gauss's digamma theorem