Answer to Question recursion-6

Yes, it works. In the second case, it uses the fact that xk = (x2)k/2.