Oh, and efficiency saves lives in and off itself. (One possible path, using less oil for cars, we can use more oil instead of coal in other applications. Thus mining less coal. Coal mines are crazy dangerous per Joule mined comparatively.)
In economics, the Jevons paradox occurs when technological progress increases the efficiency with which a resource is used but the rate of consumption of that resource rises because of increasing demand.