theorem :: POLYALG1:4

canceled;