Proving Summation Problems By Induction