Let K=
H 
C
H. Every element of C contains the identity
e. In particular, K contains e.
If a and b are elements of K, then they are elements
of each H C.
Thus, a * b H for
every H C,
whence a * b K.
We conclude that K is a submonoid.