theorem Th2: :: CLASSES5:2

for X being non empty set st {{}} is Element of X holds
not {{}} in Funcs X