theorem :: AMI_2:22

NAT in SCM-Memory by Lm3;