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