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