Weyl's completely reducibility theorem