theorem :: AMI_2:5

canceled;