theorem :: AMI_2:1

canceled;