Chu-Vandermonde Identity/Examples/2 from e + pi/Proof 2