theorem Th41:
  for P, Q st P c= Q & Q is antichain-like holds P is antichain-like;
