theorem :: POLYNOM2:9

canceled;