theorem Th46: :: POLNOT_1:46

for B being antichain st {} in B holds
B = {{}}