Proof: Simplify 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a ⋅ 2) ⋅ (1 / 2) = a ⋅ 1	(a ⋅ 2) ⋅ (1 / 2) = a ⋅ 1 (divide_simplify_2)
2	a ⋅ 1 = a	a ⋅ 1 = a (Multiplicative Identity)
3	(a ⋅ 2) ⋅ (1 / 2) = a	if (a ⋅ 2) ⋅ (1 / 2) = a ⋅ 1 and a ⋅ 1 = a, then (a ⋅ 2) ⋅ (1 / 2) = a (Transitive Property of Equality)

Comments

Please log in to add comments