SCM-Data-Loc c= SCM-Memory ;
hence SCM+FSA-Data-Loc is Subset of by Th1, XBOOLE_1:1; :: thesis: verum