theorem :: ZFMISC_1:127

for A, B being set holds not A in [:A,B:]