theorem :: AMISTD_1:15

canceled;