theorem Th5: :: SCMPDS_2:8

for d1 being Element of SCM-Data-Loc holds [1,{},<*d1*>] in SCMPDS-Instr