How to Prove an Identity Involving Finite Sums