theorem :: POLYNOM3:25

canceled;