HK 定理