When a is even...

When a is odd...

We solve the problem by breaking it into roughly equal-size subproblems, solving them separately, then combining the results (in this case, there's just one subproblem).
Rule #2 of Good Algorithm Design: Divide-and-Conquer!