theorem :: AMI_2:20

not NAT in SCM-Data-Loc by Lm2;