When I read the book "A Practical approach to compiler construction" the chapter 4 "approaches to syntax analysis" and the section 4.2.3.3 Left Recursion, it says:
"The left recursion has been removed at the cost of an extra non-terminal symbol"
I have no idea why say that, since $A_1$ still contain recursion?