The problem is:
Suppose $c\mathbf{u} = \mathbf{0}$ for some nonzero scalar $c$. Show that $\mathbf{u}=\mathbf{0}$.
Using the axioms for a vector space, I figured I could use $c(d\mathbf{u}) = (cd)\mathbf{u}$ first, and multiplying both sides with the inverse of $c$: $\begin{align} c\mathbf{u}=\mathbf{0} \\ c^{-1}(c\mathbf{u})=\mathbf{0} c^{-1} \\ (c^{-1}c)\mathbf{u}=\mathbf{0} \\ 1\mathbf{u} = \mathbf{0} \end{align}$
And then use the axiom that $1 \mathbf{u} = \mathbf{u}$ to show that $\mathbf{u} = \mathbf{0}$.
Is this somewhat correct? Is there a better, or more precise way of doing this? Thank you!