x - 1 \in A