d in SCM+FSA-Data-Loc by SCMFSA_2:def 4;
hence {d} is Subset of Int-Locations by SUBSET_1:33; :: thesis: verum