Proof: Substitute 6 Pre

Let's prove the following theorem:

if a = ((b + c) + d) + e, then a = (b + c) + (d + e)

Proof:

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

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

Comments

Please log in to add comments