theorem :: POLYNOM2:8

canceled;