Chu-Vandermonde Identity/Examples/3 from 4 + 5/Proof 2