Complete reducibility

• two approaches
  
  • Weyl's unitarian trick
  • Use Casimir operator
• Casimir exists because invariant symmetric non-degenerated bilinear form exists.