:: deftheorem CSSPACE:def 4 :
canceled;