Weyl’s theoremLet 𝔤 be a finite dimensional semi-simple Lie algebra. Then any finite dimensional representation of 𝔤 is completely reducible.