theorem :: SCMPDS_2:84

Data-Locations = SCM-Data-Loc by Lm10;