Proof: Distribute 4

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a ⋅ 2) + (a ⋅ 2) = a ⋅ (2 + 2)	(a ⋅ 2) + (a ⋅ 2) = a ⋅ (2 + 2) (Distributive Property Variation 4)
2	2 + 2 = 4	2 + 2 = 4 (Fixed Value Statement)
3	a ⋅ (2 + 2) = a ⋅ 4	if 2 + 2 = 4, then a ⋅ (2 + 2) = a ⋅ 4 (Multiplicative Property of Equality Variation 1)
4	(a ⋅ 2) + (a ⋅ 2) = a ⋅ 4	if (a ⋅ 2) + (a ⋅ 2) = a ⋅ (2 + 2) and a ⋅ (2 + 2) = a ⋅ 4, then (a ⋅ 2) + (a ⋅ 2) = a ⋅ 4 (Transitive Property of Equality)

Comments

Please log in to add comments