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