theorem :: AMI_2:25

canceled;