HK < G implies HK = KH

Printable View