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