Template:Lie subring property conjunction