theorem :: RSSPACE:9

canceled;