ta^n=b