Theory of the Gas Engine