"[W]e may apply the theorems concerning cyclical processes to all thermo-dynamic machines, and thereby arrive at conclusions... independent of the nature of the processes executed by the several machines."