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 m = n ⋅ p and n ⋅ p = p ⋅ n, then m = p ⋅ n (Transitive Property of Equality)

Comments

Please log in to add comments