closed subgroup theorem

theorem stating that, if H is a closed subgroup of a Lie group G, then H is an embedded Lie group with the relative topology being the same as the group topology