theorem :: POLYALG1:5

canceled;