let X be non empty complex-membered set ; :: thesis: ex c being complex number st c in X
ex x being set st x in X by XBOOLE_0:def 1;
hence ex c being complex number st c in X ; :: thesis: verum