Template:Transitive Lie subring property