i^j=k