theorem :: POLYNOM2:7

canceled;