Proof: Remove One 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	((1 / a) ⋅ a) ⋅ x = x	if not (a = 0), then ((1 / a) ⋅ a) ⋅ x = x (Remove One)
2	((1 / a) ⋅ a) ⋅ x = (1 / a) ⋅ (a ⋅ x)	((1 / a) ⋅ a) ⋅ x = (1 / a) ⋅ (a ⋅ x) (Associative Property of Multiplication)
3	(1 / a) ⋅ (a ⋅ x) = x	if ((1 / a) ⋅ a) ⋅ x = (1 / a) ⋅ (a ⋅ x) and ((1 / a) ⋅ a) ⋅ x = x, then (1 / a) ⋅ (a ⋅ x) = x (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments