sameInverse(x, i, j).
sameInverse(x, j, i).