theorem :: POLYNOM2:10

canceled;