Proof: Rearrange Sum 2

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments