Proof: Additive Inverse 2

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments