theorem :: AMI_2:21

canceled;