PV=nRtなので排気圧がタービンを回すのに使われたのであれば熱エネルギーを使ったという理屈