Proving Summation Problems By Induction Heater