theorem Th38: :: SCMPDS_2:41

for s being State of SCMPDS holds SCM-Data-Loc c= dom s