Redirecting to Holmström's theorem