Redirecting to Clausius theorem