This was my idea:
K is a nonempty set and has an identity element, we know this because it is a subgroup of H.
K also contains the inverse of an element following the same logic.
Finally we know K is closed because it is a subgroup of H.
H is a subgroup of G, therefore K has all these...