(bab^-1)^k =b^-ka^kb^kは正しくない