發送短信: Diseño e historia. Invariantes