Method of Mechanical Theorems