theorem :: CSSPACE2:6

canceled;