theorem :: EXTREAL1:5

canceled;