Theorem

  1. + | is closed under addition
  2. + = + | Addition is commutative
  3. ( + ) + = + ( + ) | Addition is associative
  4. c | is closed under scalar multiplication
  5. c(d ) = (cd) | Scalar Multiplication is associative
  6. (c + d) = c + d | Distributive Law
  7. c( + ) = c + c | Distributive Law

Vector Algebra behaves as expected, but it isn’t always nice for example AB BA