carnots theorem, Tag