Proof: Reorder Terms 3

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	((a + b) + g) + h = ((a + g) + b) + h	((a + b) + g) + h = ((a + g) + b) + h (swap_b_and_c)
2	((a + b) + c) + e = ((a + g) + b) + h	if ((a + b) + c) + e = ((a + b) + g) + h and ((a + b) + g) + h = ((a + g) + b) + h, then ((a + b) + c) + e = ((a + g) + b) + h (Transitive Property of Equality)

Comments

Please log in to add comments