theorem
  for P, a st P = {a} holds P is antichain-like;
