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