Weyl's complete reducibility theorem