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