Weyl's theorem on complete reducibility