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