theorem :: ZFMISC_1:50

for x being object
for X being set st not x in X holds
{x} misses X by Lm6;