theorem :: REALSET1:4

canceled;