a^k=b^k