Proof: Neg Nine Plus Nine Plus X Pre 1

Let's prove the following theorem:

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

Proof:

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

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

Comments

Please log in to add comments