Αποστολή με SMS: Mechanical geometry theorem proving