Proof: Multiplication Theorem

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(b / c) ⋅ c = b	if not (c = 0), then (b / c) ⋅ c = b (Multiply By 1 Theorem)
2	(b / c) ⋅ c = (b ⋅ c) / c	(b / c) ⋅ c = (b ⋅ c) / c (reorder_terms_9)
3	(b ⋅ c) / c = b	if (b / c) ⋅ c = b and (b / c) ⋅ c = (b ⋅ c) / c, then (b ⋅ c) / c = b (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments