Отправить по sms: Proof theory /