Note that the only element of A that may not be in Xj is xj.
Xj に含まれない可能性のある唯一つの A の元は xj である。