Proof: Sum to Double

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a + a = a ⋅ 2	a + a = a ⋅ 2 (addition_theorem)
2	c = a ⋅ 2	if c = a + a and a + a = a ⋅ 2, then c = a ⋅ 2 (Transitive Property of Equality)

Comments

Please log in to add comments