theorem :: POLYNOM3:17

canceled;