Process
- Assume two objects have the same property
- Show that the two are equal
Example
Assume and are both zero vectors. This means for all for all x
- Then,
- Then, by Vector Space axiom 2 (commutative)
- by hypothesis on
Assume 0 and 0′ are both zero vectors. This means 0⊞x=x for all x 0′+x=x for all x