Proof: Simplify 5

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(((-1) ⋅ 3) ⋅ x) + (4 ⋅ x) = (((-1) ⋅ 3) + 4) ⋅ x	(((-1) ⋅ 3) ⋅ x) + (4 ⋅ x) = (((-1) ⋅ 3) + 4) ⋅ x (distributive_property_5)
2	((-1) ⋅ 3) + 4 = 1	((-1) ⋅ 3) + 4 = 1 (Fixed Value Statement)
3	(((-1) ⋅ 3) + 4) ⋅ x = 1 ⋅ x	if ((-1) ⋅ 3) + 4 = 1, then (((-1) ⋅ 3) + 4) ⋅ x = 1 ⋅ x (Multiplicative Property of Equality)
4	1 ⋅ x = x	1 ⋅ x = x (multiplicative_identity_3)
5	(((-1) ⋅ 3) + 4) ⋅ x = x	if (((-1) ⋅ 3) + 4) ⋅ x = 1 ⋅ x and 1 ⋅ x = x, then (((-1) ⋅ 3) + 4) ⋅ x = x (Transitive Property of Equality)
6	(((-1) ⋅ 3) ⋅ x) + (4 ⋅ x) = x	if (((-1) ⋅ 3) ⋅ x) + (4 ⋅ x) = (((-1) ⋅ 3) + 4) ⋅ x and (((-1) ⋅ 3) + 4) ⋅ x = x, then (((-1) ⋅ 3) ⋅ x) + (4 ⋅ x) = x (Transitive Property of Equality)

Comments

Please log in to add comments