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 a / b = c and d = a, then c = d / b

Comments

Please log in to add comments