Proof: Subtract to Zero

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a + (a ⋅ (-1)) = 0	a + (a ⋅ (-1)) = 0 (Additive Inverse Property)
2	a + (a ⋅ (-1)) = a - a	a + (a ⋅ (-1)) = a - a (subtraction_example)
3	a - a = 0	if a + (a ⋅ (-1)) = a - a and a + (a ⋅ (-1)) = 0, then a - a = 0 (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments