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!
