So we just have to show that hkh-1k-1∈ H and hkh-1k-1∈ K, but how do we do this?
; and H is normal, which tells you that . So is the product of two elements of H and is therefore in H. Bracketing it the other way shows that the same element is also in K.