theorem :: ORDEQ_01:6

canceled;