theorem :: AMISTD_1:16

canceled;