Etter å ha konstatert at varmestrømningsverdiene vist i figuren er riktige, kan Carnos teorem bevises for irreversible og reversible varmemotorer.