theorem
  for d be Element of SCM-Data-Loc holds d in SCM-Data-Loc \/ INT
by XBOOLE_1:7,TARSKI:def 3;
