  We give three elementary proofs of a nice equality of definite integrals,
which arises from the theory of bivariate hypergeometric functions, and has
connections with irrationality proofs in number theory. We furthermore provide
a generalization together with an equally elementary proof and discuss some
consequences.
