 reserve Exx for Real;

theorem
  REAL \ INT is Event of Borel_Sets
proof
  consider Y being Subset of REAL such that A2: Y = INT by NUMBERS:15;
  Y` is Event of Borel_Sets by Th40,A2,PROB_1:20;
  hence thesis by A2;
end;
