Question 1.
Prove that for all .
Solution. By distributivity of scalar multiplication with respect to field addition (axiom 6) we have
By axiom 4 there exists an additive inverse of , such that is the zero vector . Then adding to both sides of the above equality by associativity of addition (axiom 1) and definition of the zero vector we get:
Thus, as desired.