theorem :: CSSPACE:7

canceled;