SCM-Memory = ({NAT } \/ NAT ) \/ SCM-Data-Loc by XBOOLE_1:4;
hence SCM-Data-Loc is Subset of SCM-Memory by XBOOLE_1:7; :: thesis: verum