theorem Th2: :: CLASSES1:2

for X being set holds X in Tarski-Class X