\(\newcommand{\abs}[1]{\left\lvert#1\right\rvert} \newcommand{\restr}[2]{\left.#1\right\vert_{#2}} \newcommand{\der}{\operatorname{der}} \newcommand{\Aut}{\operatorname{Aut}} \newcommand{\ad}{\operatorname{ad}} \newcommand{\Ad}{\operatorname{Ad}} \newcommand{\positiveset}{\mathbf{A}_+} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)