loc in Data-Locations SCM by AMI_3:72;
then reconsider loc = loc as Object of SCM ;
loc is Data-Location by AMI_3:72, AMI_3:def 2;
hence loc is Data-Location ; :: thesis: verum