Proof: Neg Nine Plus Nine Plus X Pre 2

Let's prove the following theorem:

((-9) + 9) + x = x

Proof:

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

Proof Table
# Claim Reason
1 ((-9) + 9) + x = 0 + x ((-9) + 9) + x = 0 + x
2 0 + x = x 0 + x = x
3 ((-9) + 9) + x = x if ((-9) + 9) + x = 0 + x and 0 + x = x, then ((-9) + 9) + x = x

Comments

Please log in to add comments