Gauss's hypergeometric theorem