The Gauss2F1(1)-summation theorem and harmonic number identities | Synapse