Hu Jia
위의 두 형식화는 동치로, K는 φ에 의해 결정된다. 둘 중 후자 쪽이 논증할 때 실제로 사용하기에 적합하다.