Proof: Subtract Both Sides Pre 3

Let's prove the following theorem:

if a = b + c, then a + (c ⋅ (-1)) = b + (c + (c ⋅ (-1)))

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 a = b + c
Proof Table
# Claim Reason
1 a + (c ⋅ (-1)) = (b + c) + (c ⋅ (-1)) if a = b + c, then a + (c ⋅ (-1)) = (b + c) + (c ⋅ (-1))
2 (b + c) + (c ⋅ (-1)) = b + (c + (c ⋅ (-1))) (b + c) + (c ⋅ (-1)) = b + (c + (c ⋅ (-1)))
3 a + (c ⋅ (-1)) = b + (c + (c ⋅ (-1))) if a + (c ⋅ (-1)) = (b + c) + (c ⋅ (-1)) and (b + c) + (c ⋅ (-1)) = b + (c + (c ⋅ (-1))), then a + (c ⋅ (-1)) = b + (c + (c ⋅ (-1)))

Comments

Please log in to add comments