发送短信 : Constructive analysis