发送短信 : Residually finite properties of groups /