Proof: Divide New B

Let's prove the following theorem:

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

then c = d / b

Proof:

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

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

Comments

Please log in to add comments