theorem :: CSSPACE:8

canceled;