Proof: Subtract Equation

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a = c + (b ⋅ (-1))	if a + b = c, then a = c + (b ⋅ (-1)) (Add Term to Both Sides 6)
2	c - b = c + (b ⋅ (-1))	c - b = c + (b ⋅ (-1)) (Subtraction Property)
3	a = c - b	if a = c + (b ⋅ (-1)) and c - b = c + (b ⋅ (-1)), then a = c - b (Transitive Property of Equality Variation 1)

Comments

Please log in to add comments