Template:Lie subring property non-implication