consider x being set such that
A1: x in X by XBOOLE_0:def 1;
{x,x} in PairSet X by A1, Def8;
hence not PairSet X is empty ; :: thesis: verum