Proof: Multiplication Theorem
Let's prove the following theorem:
if not (c = 0), then (b ⋅ c) / c = b
Proof:
Given
| 1 | not (c = 0) |
|---|
| # | Claim | Reason |
|---|---|---|
| 1 | (b / c) ⋅ c = b | if not (c = 0), then (b / c) ⋅ c = b |
| 2 | (b / c) ⋅ c = (b ⋅ c) / c | (b / c) ⋅ c = (b ⋅ c) / c |
| 3 | (b ⋅ c) / c = b | if (b / c) ⋅ c = b and (b / c) ⋅ c = (b ⋅ c) / c, then (b ⋅ c) / c = b |
Comments
Please log in to add comments