Thus the solution of the problem in mechanics to discover the respective lengths of the arms of a lever if a given force is to be in equilibrium with a given weight is certainly expressed as a practical formula, but one which contains no more than the theoretical proposition: in a state of equilibrium the lengths of the arms of the lever are inversely proportional to the former.