the carrier of (STC N) = {NAT} \/ NAT by AMISTD_1:def 11
.= {(IC )} \/ NAT by AMISTD_1:def 11 ;
hence Data-Locations (STC N) is empty by XBOOLE_1:37; :: thesis: verum