The Weyl Character Formula