theorem :: CLASSES5:45

ex X being set st
( union X is class of FinSETS & X is not class of FinSETS & X is not Set of FinSETS & X is Set of SETS )