theorem :: AMI_2:2

canceled;