Clausius theorem