Proof: Subtract Both Sides Pre 1

Let's prove the following theorem:

b + (c + (c ⋅ (-1))) = b + 0

Proof:

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

Proof Table
# Claim Reason
1 c + (c ⋅ (-1)) = 0 c + (c ⋅ (-1)) = 0
2 b + (c + (c ⋅ (-1))) = b + 0 if c + (c ⋅ (-1)) = 0, then b + (c + (c ⋅ (-1))) = b + 0

Comments

Please log in to add comments