theorem Th19:
  {} is Chain of W proof reconsider S = {} as Subset of W by XBOOLE_1:2;
 S is Chain of W
  proof
    let p,q;
    thus thesis;
  end;
  hence thesis;
end;
