theorem :: POLYNOM2:13

canceled;