So we know ab=ba. The base case n=1 is trivial. We need to carry out the inductive step. The inductive hypothesis is that . We need to prove that . How can we see here something that appears in the inductive hypothesis? When we see it, we can use ab=ba (more than once).