theorem :: AMI_2:3

canceled;