theorem :: TOPREAL6:18

canceled;