theorem :: AMI_2:17

canceled;