Redirecting to Rolle's theorem