theorem :: TOPREAL6:70

canceled;