Template:Lazard-divided Lie ring property