A2: f in SCM-Data-Loc by AMI_2:def 16;
A3: e in SCM-Data-Loc by AMI_2:def 16;
d in SCM-Data-Loc by AMI_2:def 16;
hence {d,e,f} is Subset of Int-Locations by A3, A2, SUBSET_1:35; :: thesis: verum