theorem Th27: :: AMI_3:27

Data-Locations = SCM-Data-Loc