Proof: Swap B And C

Let's prove the following theorem:

((a + b) + c) + d = ((a + c) + b) + d

Proof:

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

Proof Table
# Claim Reason
1 (a + b) + c = (a + c) + b (a + b) + c = (a + c) + b
2 ((a + b) + c) + d = ((a + c) + b) + d if (a + b) + c = (a + c) + b, then ((a + b) + c) + d = ((a + c) + b) + d

Comments

Please log in to add comments