Zaslat SMS: Proposiciones numéricas