:: deftheorem RSSPACE:def 3 :
canceled;