Hua's theorem