theorem :: AMI_2:19

canceled;