theorem :: EXTREAL1:6

canceled;