generalised hypergeometric function identities