Αποστολή με SMS: Computerized proofs of geometric theorems: applications to mechanism problems