theorem :: CSSPACE:10

canceled;