theorem :: RSSPACE:7

canceled;