Hua's lemma

GPTKB entity