Solution VS.T22 Robert Beezer

\begin{align*} \vect{u} &=1\vect{u}&&\knowl{./knowls/property.O.knowl}{\text{Property O}}\\ &=\left(\frac{1}{\alpha}\alpha\right)\vect{u}&&\alpha\neq 0\\ &=\frac{1}{\alpha}\left(\alpha\vect{u}\right)&&\knowl{./knowls/property.SMA.knowl}{\text{Property SMA}}\\ &=\frac{1}{\alpha}\left(\alpha\vect{v}\right)&&\text{Hypothesis}\\ &=\left(\frac{1}{\alpha}\alpha\right)\vect{v}&&\knowl{./knowls/property.SMA.knowl}{\text{Property SMA}}\\ &=1\vect{v}\\ &=\vect{v}&&\knowl{./knowls/property.O.knowl}{\text{Property O}} \end{align*}