Template:Lie subring property implication