The Clausius theorem or inequality obviously implies ∮ ∮ d S Res ≥ ≥ 0 per thermodynamic cycle, meaning that the entropy of the reservoirs increases or does not change, and never decreases, per cycle.