Today:
(*) cu=0
where c is non-zero implies that u=0.
We know this because of axiom 10: 1u=u. Simply multiply through (*) by the constant 1/c, and invoke the axiom.