Redirecting to Cartan's theorem