We want to follow Karr's convention for summation (although it's not quite true right now), so the left-hand side should be Sum(4 - n, (n, 4, -7)), I think.