For any system executing a closed cycle of reversible changes, the integral over the cycle of the infinitesimal amount of heat transferred to the system divided by its temperature equals 0. Also known as Clausius theorem.