test case for SRem