theorem :: TOPREAL6:74

canceled;