Proof: Remove One

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(1 / a) ⋅ a = 1	if not (a = 0), then (1 / a) ⋅ a = 1 (Multiplication Property 2)
2	((1 / a) ⋅ a) ⋅ x = 1 ⋅ x	if (1 / a) ⋅ a = 1, then ((1 / a) ⋅ a) ⋅ x = 1 ⋅ x (Multiplicative Property of Equality)
3	1 ⋅ x = x	1 ⋅ x = x (multiplicative_identity_3)
4	((1 / a) ⋅ a) ⋅ x = x	if ((1 / a) ⋅ a) ⋅ x = 1 ⋅ x and 1 ⋅ x = x, then ((1 / a) ⋅ a) ⋅ x = x (Transitive Property of Equality)

Comments

Please log in to add comments