Redirecting to Problem 717: Summation of a Modular Formula...