theorem :: TOPREAL6:1

canceled;