theorem :: RSSPACE:6

canceled;