ðə θˈiəɹəm hˈæzbiːn jˈuːzd tʊ əbtˈeɪn ɐ sˈɪmpəl lˈaɪ ˌældʒɪbɹˈeɪɪk pɹˈuːf ʌv wˈeɪlz kˈæɹɪktɚ fˈɔːɹmjʊlə fɔːɹ fˈaɪnaɪtdᵻmˈɛnʃənəl ɪɹᵻdˈuːsᵻbəl ɹˌɛpɹᵻzˈɛntˈeɪʃənz.
The theorem has been used to obtain a simple Lie algebraic proof of Weyl's character formula for finite-dimensional irreducible representations.