theorem Th86: :: CLASSES4:86

for UN being Universe
for X being Element of UN holds UN \ X is not Element of UN