dl. k in Data-Locations SCM by AMI_3:72, AMI_3:def 2;
hence dl. k is Data-Location of R by SCMRING2:1; :: thesis: verum