theorem Th2: :: SCMFSA_1:5

NAT in SCM+FSA-Memory