H-K Theorems

HK theorems