The theorems on freedom for free sums of Lie algebras with a relations

In this paper we prove the theorem on freedom for free sums of Lie algebras with a single relation (analogous with the well-known result of Shirshov) and a generalized Freiheitssatz for free sums of Lie algebras (analogous with the well-known result of Kharlampovich).