理由なんて無い
なぜかは知らないけど、それが定義を満たすから、それはそうだとしか言えない

全ての X, Y ∈ S が
単純なリー環の定義を満たすことを
確認すればいい