Proof: Double

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments