Int-Locations = SCM+FSA-Data-Loc ;
hence Int-Locations is Subset of SCM+FSA ; :: thesis: verum