Proof: Multiply Both Sides 2

Let's prove the following theorem:

if the following are true:
  • a = b / c
  • not (c = 0)

then c ⋅ a = b

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 a = b / c
2 not (c = 0)
Proof Table
# Claim Reason
1 a ⋅ c = (b / c) ⋅ c if a = b / c, then a ⋅ c = (b / c) ⋅ c
2 (b / c) ⋅ c = b if not (c = 0), then (b / c) ⋅ c = b
3 a ⋅ c = b if a ⋅ c = (b / c) ⋅ c and (b / c) ⋅ c = b, then a ⋅ c = b
4 a ⋅ c = c ⋅ a a ⋅ c = c ⋅ a
5 c ⋅ a = b if a ⋅ c = c ⋅ a and a ⋅ c = b, then c ⋅ a = b

Comments

Please log in to add comments