theorem :: POLYNOM2:2

canceled;