Appeared in J. Math. Anal. Appl. 147 (1990), 610-611.
One of the `biggies' of hypergeometric summation, from which many other identities follow by specializations, is Dougall's summation identity. Now thanks to WZ-theory it is as routine to prove as 2+2=4.
In fact, today, you can do it all by yourself, with the aid of EKHAD
Doron Zeilberger's List of Papers