Proof: Move Terms Around

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	m = n ⋅ p	if n ⋅ p = m, then m = n ⋅ p (Symmetric Property of Equality)
2	n ⋅ p = p ⋅ n	n ⋅ p = p ⋅ n (Commutative Property of Multiplication)
3	m = p ⋅ n	if n ⋅ p = p ⋅ n and m = n ⋅ p, then m = p ⋅ n (Transitive Property of Equality)

Comments

Please log in to add comments