gausss digamma theorem