lean_workbook_plus_61758

First note that since $ab=1,$ we have $a^nb^n=a^{n-1}(ab)b^{n-1}=a^{n-1}b^{n-1}= \cdots =ab=1, \ \ \ \ \ \ \ \ \ \ (*)$ for all integers $n \ge 1.$