發送短信 : Constructive analysis