發送短信: Síntesis de aritmética racional