Bonus:Show that the condition $2($is $u+v=v+u)$ in the above definition is redundant. $($ One can show that $u+v=v+u$ using the remaining $9$ condition.$)$

HINT: $u+v={?}^4(u+v)+0=$dots$=v+u$