theorem :: RSSPACE:8

canceled;