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