theorem Th1: :: SCMPDS_I:1

for k being Integer holds k in SCM-Data-Loc \/ INT