Redirecting to Cartan's theorems A and B