NAT in {NAT} by TARSKI:def 1;
hence NAT in SCM-Memory by XBOOLE_0:def 3; :: thesis: verum