Cartan's Closed Subgroup Theorem