theorem :: EXTPRO_1:31

canceled;