theorem :: RSSPACE:14

canceled;