Proof: Divide New

Let's prove the following theorem:

if the following are true:
  • a / b = c
  • d = a

then c = d / b

Proof:

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

Given
1 a / b = c
2 d = a
Proof Table
# Claim Reason
1 c = a / b if a / b = c, then c = a / b
2 a = d if d = a, then a = d
3 c = d / b if a = d and c = a / b, then c = d / b

Comments

Please log in to add comments