theorem :: POLYALG1:3

canceled;