theorem :: TOPREAL6:72

canceled;