Weyl's inequality and Hua's inequality