:: deftheorem RSSPACE:def 4 :
canceled;