theorem :: AMI_2:18

canceled;