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