Hypergeometric function identities