theorem :: POLYNOM2:12

canceled;