Αποστολή με SMS: Automated Deduction in Geometry