Hua's lemma