Proving Summation Problems By Induction Cookware