Отправить по sms: Продвинытая Процедура и аксиомы