The Method of Mechanical Theorems