gauss's digamma theorem