A fundamental relation between generalized hypergeometric series. (Q1450689)

Verf. gibt einen kurzen Beweis der früher etwas umständlich abgeleiteten Identität \[ \begin{multlined} {}_7 F_6\left[\begin{matrix} & & \l & \l & \l & \l & \l & \l \\ a &, 1+\dfrac a2 &, c &, d &, e &, f &, g & ; 1 \\ & \, \, \, 1+\dfrac a2 &, 1+a-c &, 1+a-d &, 1+a-e &, 1+a-f &, 1+a -g & \end{matrix} \right] \\ = \frac{\varGamma(1+a-e) \varGamma(1+a-f) \varGamma(1+a-g) \varGamma(1+a-f-e-g)}{\varGamma(1+a) \varGamma(1+a-f-g) \varGamma(1+a-e-f) \varGamma(1+a-e-g)}. \end{multlined} \] \[ {}_4 F_3 \left[\begin{matrix} & \l & \l & \l & \l \\ 1+a-c-d &, e &, f &, g & ; 1 \\ & \, \, \, e+f+g-a &, 1+a - c &, 1+a - d & \end{matrix} \right] \] und einige Anwendungen dieser Formel.