Proving Summation Problems By Induction Cooker