Отправить по sms: Математические методы в собирании и исследовании доказательств