Learn How to Prove an Identity with Finite Sums and Variables