thus SCM-Data-Loc is Subset of SCM-Memory by XBOOLE_1:7; :: thesis: verum