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

何言ってだこいつ