發送短信 : Flatness, completion, regular sequences :