theorem
  the carrier of Example = {{}};
