theorem :: POLYNOM3:19

canceled;