A4: g in SCM+FSA-Data-Loc by SCMFSA_2:def 4;
A5: f in SCM+FSA-Data-Loc by SCMFSA_2:def 4;
A6: 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,f,g} is Subset of Int-Locations by A6, A5, A4, SUBSET_1:36; :: thesis: verum