Yes, but my idea was that pushing the wrench at distance x is double as hard as pushing it at distance x * 2; my understanding of the diagram is that it's not.