theorem Th4: :: CLASSES1:4

for X, Y being set st Y in Tarski-Class X holds
bool Y in Tarski-Class X