d in SCM-Data-Loc by AMI_2:def 16;
hence {d} is Subset of Int-Locations by SUBSET_1:33; :: thesis: verum