theorem :: RSSPACE:10

canceled;