theorem :: POLYNOM2:11

canceled;