Derived subring is divisibility-invariant in Lie ring

From Groupprops

Statement

Suppose is a Lie ring and is its derived subring. Then, is a divisibility-invariant subring of .

Related facts