Proof: Subtract to Zero 3

Let's prove the following theorem:

if a - b = 0, then a = b

Proof:

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

Given
1 a - b = 0
Proof Table
# Claim Reason
1 a = 0 + b if a - b = 0, then a = 0 + b
2 0 + b = b 0 + b = b
3 a = b if a = 0 + b and 0 + b = b, then a = b

Comments

Please log in to add comments