[g,g]⊂g だから
商代数の積の定義から