Title: Some integrals of hypergeometric functions,
Abstract: We consider a certain definite integral involving the product of two
classical hypergeometric functions having complicated arguments. We show in
this paper the surprising fact that this integral does not depend on the
parameters of the hypergeometric functions.