theorem :: SCMPDS_2:40

for s being State of SCMPDS
for d being Int_position holds d in dom s