\begin{lem}[sda]{22d}
