theorem :: TOPREAL6:73

canceled;