reserve x for object, X, F for set;

theorem Th5:
  X is integer-membered implies X c= INT
proof
  assume
A1: X is integer-membered;
  let x be object;
  assume x in X;
  then x is integer by A1;
  hence thesis;
end;
