theorem :: CSSPACE:6

canceled;