theorem Th11: :: ZFMISC_1:11

for x, y being object st x <> y holds
{x} misses {y}