theorem Th2: :: CLASSES2:2

for x, y, W being set st W is Tarski & x in W & y in W holds
( {x} in W & {x,y} in W )