theorem
  {}X is boundary;
