theorem
 for d being Data-Location holds d in Data-Locations SCM by Th27,AMI_2:def 16;
