(ab)^n=\underbrace{(ab)(ab)\cdots (ab)}_{n\ puta}=a\underbrace{(ba)(ba)\cdots(ba)}_{n-1\ puta}b=a(ba)^{n-1}b