Using only the 8 axioms, prove that (-1) * v = -v for all v in V