added definition of 0, and inverse; stated proposition (in notes) 3.32