Let g be a solvable Lie algebra such that the conditions x∈g, y∈g, [[x,y],y]=0 imply [x,y]=0. Show that g is commutative. (Let k be the largest integer such that Dk−1g={0}, Dkg={0}. Assuming k≥2, show first that [Dk−2g,Dk−1g]={0} and then that [Dk−2g,Dk−2g]={0}, whence a contradiction.)