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