Proof: Rearrange Sum

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a + b) + c = (a + c) + b	(a + b) + c = (a + c) + b (add_associative_2)
2	(a + c) + b = d	if (a + b) + c = (a + c) + b and (a + b) + c = d, then (a + c) + b = d (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments